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