quality Archive
Quality Aspects in Model Driven Engineering (COMLAN Special Issue)
Our special issue on Quality in Model-Driven Engineering has now been finalized and published online in the Computer
19/3/2018
0
Smart bounded verification for UML / OCL models
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show
18/12/2017
0
Modeling, verifying and generating embedded software with Dezyne
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
1/12/2017
0
Evaluating the Maturity of the Eclipse Modeling Ecosystem
Often, modeling tools are regarded as immature and therefore not ready for industrial adoption. Read on
1/8/2017
0
MegaMart2 – Model-based continuous development and runtime validation of complex systems
A new research project focusing on a scalable model-based framework for continuous development and runtime validation
22/5/2017
0
Practical and Scalable model-driven verification: Lessons Learnt
Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check
3/3/2015
0
State of the art on static model verification tools
During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos
14/5/2014
0
UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming
UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a
1/4/2014
0
Checking Model Transformation Refinement
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research
23/5/2013
0
Lightweight mechanism to reason on String values
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted
3/3/2013
0
A model-driven approach for the extraction of network access-control policies
(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself). Network security
29/10/2012
0
ATLTest – White box testing of (ATL) model transformations
Recently, at MODELS 2012, we (Jordi and myself, Carlos González) had the opportunity to present our
18/10/2012
0
On verifying ATL transformations using ‘off-the-shelf’ SMT solvers
(post by Fabian Büttner) Recently, at this year’s MODELS conference, we (Fabian, myself and Marina Egea)
10/10/2012
0
Catalogue of refactorings for model transformations
Last issue of JOT included our paper Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot, A Catalogue
30/8/2012
0
How a software development team faces a bug in the software (cartoon)
(discovered via Jon Segador)
2/8/2012
0
Lightweight String Reasoning for OCL
Most domain models include a number of constraints which frequently deal with text data (e.g. checking
27/6/2012
1
Creating DSLs that fit the users’ needs (Panel at MiSE´12)
As participant in the panel about “Creation of DSLs” in the last MiSE workshop I was
12/6/2012
3
EMFtoCSP – Checking the quality of your UML and EMF (static) models
Creating (correct) models isn’t an easy task. Modeling isn’t easy, and as it happens with any
7/6/2012
1
Using Models of Partial Knowledge to Test Model Transformations
If you are interested in the field of testing model transformations you may want to take
26/3/2012
0
Lightweight Verification of Executable Models
Related to the previous post on the static verification of transformations, now Elena explains how to
25/7/2011
3