by Javier Cánovas | Aug 1, 2017 | article, Model-driven Engineering, quality
Often, modeling tools are regarded as immature and therefore not ready for industrial adoption. Read on to see if there is any truth in this.
by Jordi Cabot | May 22, 2017 | Model-driven Engineering, project, quality
A new research project focusing on a scalable model-based framework for continuous development and runtime validation of complex systems
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...
by Jordi Cabot | May 23, 2013 | quality, transformations
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research and the Universidad Autonoma de Madrid, will present research results regarding the use of bounded model finding to analyze refinement relationships between model...