182
click to vote
IFM
15 years 10 months ago
2004 Springer 
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
148
Voted
IFM
15 years 10 months ago
2004 Springer 
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
144
click to vote
IFM
15 years 10 months ago
2004 Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
154
Voted
IFM
15 years 10 months ago
2004 Springer 
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
143
click to vote
IFM
15 years 10 months ago
2004 Springer 
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
|
Formal Methods