- Record: found
- Abstract: not found
- Book Chapter: not found
Modelling Foundations and Applications
Lightweight String Reasoning for OCL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Article: not found
USE: A UML-based specification environment for validating UML and OCL
Mark Richters, Martin Gogolla, Fabian Büttner (2007)
- Record: found
- Abstract: not found
- Article: not found
Verification and validation of declarative model-to-model transformations through invariants
Jordi Cabot, Juan de Lara, Robert Clarisó … (2010)
- Record: found
- Abstract: not found
- Article: not found
Barriers to systematic model transformation testing
Benoit Baudry, Sudipto Ghosh, Franck Fleurey … (2010)