Sciweavers

SOFTWARE
2002
14 years 2 days ago
Failure or Success?
The body of literature on SMEs suggest that all SMEs seem to go through different life cycles, and while the terms used by different authors may vary, the events that govern them ...
RE
2002
Springer
14 years 3 days 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 asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa