3333 search results - page 377 / 667 » Abstract Proof Search |
188
click to vote
BIRTHDAY
2005
Springer
16 years 24 days 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 ...
206
click to vote
EDCC
2005
Springer
16 years 23 days 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...
199
click to vote
GPCE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
171
click to vote
SAFECOMP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
197
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...