Jordi Cabot
Jordi Cabot
ICREA Research Professor at Internet Interdisciplinary Institute (UOC)
Email verificata su icrea.cat - Home page
Titolo
Citata da
Citata da
Anno
Model-driven software engineering in practice
M Brambilla, J Cabot, M Wimmer
Synthesis lectures on software engineering 3 (1), 1-207, 2017
11982017
Verification of UML/OCL class diagrams using constraint programming
J Cabot, R Clarisó, D Riera
Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008
2782008
MoDisco: a generic and extensible framework for model driven reverse engineering
H Bruneliere, J Cabot, F Jouault, F Madiot
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
2402010
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
J Cabot, R Clarisó, D Riera
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
2222007
Modisco: A model driven reverse engineering framework
H Bruneliere, J Cabot, G Dupé, F Madiot
Information and Software Technology 56 (8), 1012-1032, 2014
2182014
Verification and validation of declarative model-to-model transformations through invariants
J Cabot, R Clarisó, E Guerra, J De Lara
Journal of Systems and Software 83 (2), 283-302, 2010
1882010
Object constraint language (OCL): a definitive guide
J Cabot, M Gogolla
International school on formal methods for the design of computer …, 2012
1742012
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
1582013
On the verification of UML/OCL class diagrams using constraint programming
J Cabot, R Clarisó, D Riera
Journal of Systems and Software 93, 1-23, 2014
1302014
From UML/OCL to SBVR specifications: A challenging transformation
J Cabot, R Pau, R Raventós
Information systems 35 (4), 417-440, 2010
1142010
Incremental integrity checking of UML/OCL conceptual schemas
J Cabot, E Teniente
Journal of Systems and Software 82 (9), 1459-1478, 2009
1092009
EMFtoCSP: A tool for the lightweight verification of EMF models
CA González, F Büttner, R Clarisó, J Cabot
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
1072012
How do software architects consider non-functional requirements: An exploratory study
D Ameller, C Ayala, J Cabot, X Franch
2012 20th IEEE International Requirements Engineering Conference (RE), 41-50, 2012
1062012
Dealing with non-functional requirements in model-driven development
D Ameller, X Franch, J Cabot
2010 18th IEEE international requirements engineering conference, 189-198, 2010
1002010
Verification of ATL transformations using transformation models and model finders
F Büttner, M Egea, J Cabot, M Gogolla
International Conference on Formal Engineering Methods, 198-213, 2012
992012
Non-functional requirements in architectural decision making
D Ameller, C Ayala, J Cabot, X Franch
IEEE software 30 (2), 61-67, 2012
852012
Combining model-driven engineering and cloud computing
H Bruneliere, J Cabot, F Jouault
Modeling, Design, and Analysis for the Service Cloud-MDA4ServiceCloud'10 …, 2010
852010
A systematic mapping study of software development with GitHub
V Cosentino, JLC Izquierdo, J Cabot
IEEE Access 5, 7173-7192, 2017
832017
Integrating sustainability in decision-making processes: A modelling strategy
J Cabot, S Easterbrook, J Horkoff, L Lessard, S Liaskos, JN Mazón
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
822009
EMF Profiles: A Lightweight Extension Approach for EMF Models.
P Langer, K Wieland, M Wimmer, J Cabot
J. Object Technol. 11 (1), 1-29, 2012
772012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20