12 search results - page 1 / 3 » Towards model checking executable UML specifications in mCRL... |
72
Voted
ISSE
2010
14 years 9 months ago
2010
DAGSTUHL
2006
15 years 2 days ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
86
Voted
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
SIMUTOOLS
2008
15 years 3 days ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
116
click to vote
FAC
2008
14 years 10 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...