Folgen
Jordi Cabot
Jordi Cabot
Head of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)
Bestätigte E-Mail-Adresse bei list.lu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Model-driven software engineering in practice
M Brambilla, J Cabot, M Wimmer
Morgan & Claypool Publishers, 2017
19312017
Modisco: A model driven reverse engineering framework
H Bruneliere, J Cabot, G Dupé, F Madiot
Information and Software Technology 56 (8), 1012-1032, 2014
3132014
MoDisco: a generic and extensible framework for model driven reverse engineering
H Bruneliere, J Cabot, F Jouault, F Madiot
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
2952010
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
2952008
Object constraint language (OCL): a definitive guide
J Cabot, M Gogolla
International school on formal methods for the design of computer …, 2012
2732012
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
J Cabot, R Clarisó, D Riera
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
2512007
Grand challenges in model-driven engineering: an analysis of the state of the research
A Bucchiarone, J Cabot, RF Paige, A Pierantonio
Software and Systems Modeling 19, 5-13, 2020
2102020
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
2082010
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
2032013
A systematic mapping study of software development with GitHub
V Cosentino, JLC Izquierdo, J Cabot
Ieee access 5, 7173-7192, 2017
1802017
Xatkit: a multimodal low-code chatbot development framework
G Daniel, J Cabot, L Deruelle, M Derras
IEEE Access 8, 15332-15346, 2020
1612020
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
1512014
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
1502012
Findings from GitHub: methods, datasets and limitations
V Cosentino, J Luis, J Cabot
Proceedings of the 13th International Conference on Mining Software …, 2016
1292016
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
1292012
From UML/OCL to SBVR specifications: A challenging transformation
J Cabot, R Pau, R Raventós
Information systems 35 (4), 417-440, 2010
1282010
A feature-based survey of model view approaches
H Bruneliere, E Burger, J Cabot, M Wimmer
Software & Systems Modeling 18, 1931-1952, 2019
1262019
Incremental integrity checking of UML/OCL conceptual schemas
J Cabot, E Teniente
Journal of Systems and Software 82 (9), 1459-1478, 2009
1162009
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
1122010
Verification of ATL transformations using transformation models and model finders
F Büttner, M Egea, J Cabot, M Gogolla
Formal Methods and Software Engineering: 14th International Conference on …, 2012
1092012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20