10568 search results - page 230 / 2114 » Computer Intelligence and Formalization |
112
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
128
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
146
click to vote
JOT
2010
15 years 1 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
109
click to vote
SOFSEM
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...