1239 search results - page 126 / 248 » Applying Model Checking to Concurrent UML Models |
ESAW
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
ESE
2006
13 years 9 months ago
2006
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...