12 search results - page 2 / 3 » Towards model checking executable UML specifications in mCRL... |
102
click to vote
FASE
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
103
click to vote
JUCS
2010
14 years 5 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
ECWEB
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
123
click to vote
ECMDAFA
2008
Springer
15 years 14 days ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
VLDB
2002
ACM
14 years 10 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...