1239 search results - page 2 / 248 » Applying Model Checking to Concurrent UML Models |
LPNMR
2009
Springer
13 years 12 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
ASWEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
SIGSOFT
2001
ACM
14 years 6 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
ISIM
2007
13 years 6 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...