עקוב אחר
Jordi Cabot
Jordi Cabot
Head of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)
כתובת אימייל מאומתת בדומיין list.lu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Model-driven software engineering in practice‏
M Brambilla, J Cabot, M Wimmer‏
Morgan & Claypool Publishers, 2017‏
20442017
Modisco: A model driven reverse engineering framework‏
H Bruneliere, J Cabot, G Dupé, F Madiot‏
Information and Software Technology 56 (8), 1012-1032, 2014‏
3272014
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‏
3022008
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‏
2972010
Object constraint language (OCL): a definitive guide‏
J Cabot, M Gogolla‏
International school on formal methods for the design of computer …, 2012‏
2892012
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‏
2562007
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‏
2342020
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‏
2072013
A systematic mapping study of software development with GitHub‏
V Cosentino, JLC Izquierdo, J Cabot‏
Ieee access 5, 7173-7192, 2017‏
2062017
Xatkit: a multimodal low-code chatbot development framework‏
G Daniel, J Cabot, L Deruelle, M Derras‏
IEEE Access 8, 15332-15346, 2020‏
1812020
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‏
1582014
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‏
1552012
Findings from GitHub: methods, datasets and limitations‏
V Cosentino, J Luis, J Cabot‏
Proceedings of the 13th International Conference on Mining Software …, 2016‏
1412016
Positioning of the low-code movement within the field of model-driven engineering‏
J Cabot‏
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020‏
1342020
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‏
1332012
A feature-based survey of model view approaches‏
H Bruneliere, E Burger, J Cabot, M Wimmer‏
Software & Systems Modeling 18, 1931-1952, 2019‏
1312019
From UML/OCL to SBVR specifications: A challenging transformation‏
J Cabot, R Pau, R Raventós‏
Information systems 35 (4), 417-440, 2010‏
1312010
Automatic generation of test cases for REST APIs: A specification-based approach‏
H Ed-Douibi, JLC Izquierdo, J Cabot‏
2018 IEEE 22nd international enterprise distributed object computing …, 2018‏
1172018
Incremental integrity checking of UML/OCL conceptual schemas‏
J Cabot, E Teniente‏
Journal of Systems and Software 82 (9), 1459-1478, 2009‏
1162009
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20