1239 search results - page 143 / 248 » Applying Model Checking to Concurrent UML Models |
JAIR
2008
13 years 9 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
UML
2005
Springer
14 years 2 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
AIM
2006
13 years 10 months ago
2006
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...