Sciweavers

RE
2002
Springer

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts

13 years 3 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynchronous communication between objects and creation and deletion of objects. Our tool support presents a graphical front-end to model checkers, making these tools usable to people who are not specialists in model checking. The model-checking approach presented in this paper is embedded in an informal but precise method for software requirements and design. We discuss some of our experiences with model checking.
Rik Eshuis, David N. Jansen, Roel Wieringa
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where RE
Authors Rik Eshuis, David N. Jansen, Roel Wieringa
Comments (0)