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 Languages, Systems & Structures journal linked to the Quality Aspects in Model Driven Engineering track at QUATIC 2016
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 an automatic technique to choose the best bounds
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 to see if there is any truth in this.
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 of complex systems
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 this keynote talk by Lionel Briand
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
Our two papers accepted at MoDELS 2012
This year (well, also the last one 🙂 ) we got two papers accepted at the
17/6/2012
0
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
- 1
- 2