by Jordi Cabot | Feb 14, 2016 | event, Model-driven Engineering
I’m coorganizing MELO 2016, a workshop co-located with STAF 2016 (Vienna, July 4th). The main goal of this workshop is to bring together three different communities: the Model-Driven Engineering (MDE) community, the logic programming community, and the...
by Jordi Cabot | Apr 1, 2014 | quality, UML and OCL
UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a number of correctness properties, including weak and strong satisfiability (to make sure your model can be instantiated in a way that no constraints are violated) or...
Recent Comments