by Robert Clarisó | Aug 23, 2018 | article, AI, quality
We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would improve the efficiency and usability of a variety of software modeling activities, e.g., design space exploration, testing or verification and validation.
by Jordi Cabot | Mar 19, 2018 | event, quality
Our special issue on Quality in Model-Driven Engineering has now been finalized and published online in the Computer Languages, Systems & Structures journal linked to the Quality Aspects in Model Driven Engineering track at QUATIC 2016
by Robert Clarisó | Dec 18, 2017 | quality, UML and OCL
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
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 | project, Model-driven Engineering, 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
Recent Comments