by Robert Clarisó | Nov 2, 2020 | article, quality, UML and OCL
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
by Jordi Cabot | Jun 15, 2017 | Model-driven Engineering, talk, teaching
Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,…) promoting a lightweight perspective to maximize MDE success and adoption
by Jordi Cabot | Mar 3, 2015 | Model-driven Engineering, quality, talk
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand
by Jordi Cabot | May 14, 2014 | empirical studies, quality, UML and OCL
During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos González) conducted an analysis on the field of static model verification, with the intent of shedding some light on what was the current landscape on the area and, if possible, trying...
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...
