Model-driven software engineering in practice M Brambilla, J Cabot, M Wimmer Morgan & Claypool Publishers, 2017 | 1927 | 2017 |
Modisco: A model driven reverse engineering framework H Bruneliere, J Cabot, G Dupé, F Madiot Information and Software Technology 56 (8), 1012-1032, 2014 | 309 | 2014 |
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 | 301 | 2008 |
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 | 294 | 2010 |
Object constraint language (OCL): a definitive guide J Cabot, M Gogolla International school on formal methods for the design of computer …, 2012 | 275 | 2012 |
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 | 253 | 2007 |
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 | 205 | 2010 |
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 | 203 | 2020 |
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 | 201 | 2013 |
A systematic mapping study of software development with GitHub V Cosentino, JLC Izquierdo, J Cabot Ieee access 5, 7173-7192, 2017 | 182 | 2017 |
Xatkit: a multimodal low-code chatbot development framework G Daniel, J Cabot, L Deruelle, M Derras IEEE Access 8, 15332-15346, 2020 | 158 | 2020 |
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 | 154 | 2014 |
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 | 151 | 2012 |
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 | 131 | 2012 |
From UML/OCL to SBVR specifications: A challenging transformation J Cabot, R Pau, R Raventós Information systems 35 (4), 417-440, 2010 | 130 | 2010 |
Findings from GitHub: methods, datasets and limitations V Cosentino, J Luis, J Cabot Proceedings of the 13th International Conference on Mining Software …, 2016 | 126 | 2016 |
A feature-based survey of model view approaches H Bruneliere, E Burger, J Cabot, M Wimmer Software & Systems Modeling 18, 1931-1952, 2019 | 125 | 2019 |
Incremental integrity checking of UML/OCL conceptual schemas J Cabot, E Teniente Journal of Systems and Software 82 (9), 1459-1478, 2009 | 117 | 2009 |
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 | 112 | 2010 |
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 | 109 | 2012 |