121
click to vote
IFM
15 years 5 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...
108
click to vote
IFM
15 years 5 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...
IFM
15 years 5 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...
IFM
15 years 5 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...
IFM
15 years 5 months ago
2004 Springer |
Formal Methods