3333 search results - page 377 / 667 » Abstract Proof Search |
165
click to vote
BIRTHDAY
2005
Springer
16 years 5 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 ...
189
click to vote
EDCC
2005
Springer
16 years 4 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...
186
click to vote
GPCE
2005
Springer
16 years 4 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...
157
click to vote
SAFECOMP
2005
Springer
16 years 3 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...
171
click to vote
SEMWEB
2005
Springer
16 years 3 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...