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.
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
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
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.
A new research project focusing on a scalable model-based framework for continuous development and runtime validation of complex systems
