Journal articles
- titre
- A Catalogue of Refactorings for Model-to-Model Transformations
- auteur
- Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot
- article
- The Journal of Object Technology, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩
- Accès au bibtex
-
- titre
- EMF Profiles: A Lightweight Extension Approach for EMF Models
- auteur
- Philip Langer, Konrad Wieland, Manuel Wimmer, Jordi Cabot
- article
- The Journal of Object Technology, 2012, 11 (1), pp.1-29
- Accès au bibtex
-
- titre
- API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering
- auteur
- Javier Luis Cánovas Izquierdo, Frédéric Jouault, Jordi Cabot, Jesus Garcia Molina
- article
- Information and Software Technology, 2012, 54 (3), pp.257-273. ⟨10.1016/j.infsof.2011.09.006⟩
- Accès au texte intégral et bibtex
-
- titre
- How to Deal with your IT Legacy? What is Coming up in MoDisco
- auteur
- Hugo Bruneliere, Jordi Cabot, Grégoire Dupé
- article
- ERCIM News, 2012, Special theme: Evolving Software, 88, p. 43-44
- Accès au texte intégral et bibtex
-
- titre
- Architecture Quality Revisited
- auteur
- Claudia Ayala, Xavier Franch, David Ameller, Jordi Cabot, Frank Buschmann
- article
- IEEE Software, 2012, 29 (4), pp.22-24
- Accès au bibtex
-
Conference papers
- titre
- Parametrización de las transformaciones horizontales en el modelo de herradura
- auteur
- Jesús Sánchez Cuadrado, Orlando Ávila García, Javier Cánovas, Adolfo Sánchez-Barbudo Herrera
- article
- Jornadas de Ingeniería del Software y Bases de Datos, Sep 2012, Almería, España
- Accès au texte intégral et bibtex
-
- titre
- Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE
- auteur
- Lars Hamann, Fabian Buettner, Mirco Kuhlmann, Martin Gogolla
- article
- Modellierung 2012, Mar 2012, Bamberg, Germany. pp.155-170
- Accès au texte intégral et bibtex
-
- titre
- On verifying ATL transformations using 'off-the-shelf' SMT solvers
- auteur
- Fabian Buettner, Marina Egea, Jordi Cabot
- article
- ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Creación Colaborativa de Lenguajes Específicos del Dominio
- auteur
- Javier Cánovas, Jordi Cabot
- article
- Jornadas de Ingeniería del Software y Bases de Datos, Sep 2012, Almería, España
- Accès au texte intégral et bibtex
-
- titre
- EMFtoCSP: A Tool for the Lightweight Verification of EMF Models
- auteur
- Carlos Alberto González Pérez, Fabian Buettner, Robert Clarisó, Jordi Cabot
- article
- Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Jun 2012, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- A Model Driven Reverse Engineering Framework for Extracting Business Rules out of a Java Application
- auteur
- Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, Jacques Perronnet
- article
- RuleML, Aug 2012, Montpellier, France
- Accès au texte intégral et bibtex
-
- titre
- You need to extend your models? EMF Facet vs. EMF Profiles
- auteur
- Hugo Bruneliere, Philip Langer
- article
- EclipseCon 2012 - Modeling Symposium, Mar 2012, Reston, VA, United States
- Accès au texte intégral et bibtex
-
- titre
- A model-driven approach for the extraction of network access-control policies
- auteur
- Salvador Martínez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
- article
- Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria
- Accès au bibtex
-
- titre
- Static Analysis of Model Transformations for Effective Test Generation
- auteur
- Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot
- article
- ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
- Accès au texte intégral et bibtex
-
- titre
- Lightweight String Reasoning for OCL
- auteur
- Fabian Buettner, Jordi Cabot
- article
- 8th European Conference on Modelling Foundations and Applications July 2-5, 2012, Technical University of Denmark Kgs. Lyngby, Denmark, Jul 2012, Lyngby, Denmark
- Accès au texte intégral et bibtex
-
- titre
- Using Models of Partial Knowledge to Test Model Transformations
- auteur
- Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot
- article
- International Conference on Model Transformation, May 2012, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- How do software architects consider non-functional requirements: An exploratory study
- auteur
- David Ameller, Claudia Ayala, Jordi Cabot, Xavier Franch
- article
- Requirements Engineering Conference (RE), 2012 20th IEEE International, Sep 2012, Chicago, United States. ⟨10.1109/RE.2012.6345838⟩
- Accès au bibtex
-
- titre
- Eclipse Labs for improving DSL development
- auteur
- Hugo Bruneliere
- article
- Eclipse DemoCamp Juno 2012 - Nantes, Jun 2012, Nantes, France
- Accès au texte intégral et bibtex
-
- titre
- A model driven approach for bridging ILOG Rule Language and RIF
- auteur
- Valerio Cosentino, Marcos Didonet del Fabro, Adil El Ghali
- article
- RuleML, Aug 2012, Montpellier, France
- Accès au texte intégral et bibtex
-
- titre
- Community-Driven Language Development
- auteur
- Javier Cánovas, Jordi Cabot
- article
- International Workshop on Modelling in Software Engineering, Jun 2012, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Transforming Very Large Models in the Cloud: a Research Roadmap
- auteur
- Cauê Clasen, Marcos Didonet del Fabro, Massimo Tisi
- article
- CloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, Jul 2012, Copenhagen, Denmark
- Accès au texte intégral et bibtex
-
- titre
- Natural Modeling: Retrospective and Perspectives an Anthropological Point of View
- auteur
- Zoe Zarwin, Jean-Sébastien Sottet, Jean-Marie Favre
- article
- Proceedings of the 2012 Extreme Modeling Workshop, 2012, New York, NY, United States. pp.3--8, ⟨10.1145/2467307.2467309⟩
- Accès au bibtex
-
- titre
- Verification of ATL Transformations Using Transformation Models and Model Finders
- auteur
- Fabian Buettner, Marina Egea, Jordi Cabot, Martin Gogolla
- article
- ICFEM 2012: 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan
- Accès au texte intégral et bibtex
-
- titre
- ATLTest: A White-Box Test Generation Approach for ATL Transformations
- auteur
- Carlos Alberto González Pérez, Jordi Cabot
- article
- ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
- auteur
- Elena Planas, David Sanchez-Mendoza, Jordi Cabot, Cristina Gómez
- article
- 31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy
- Accès au texte intégral et bibtex
-
- titre
- Community-driven DSL development with Collaboro
- auteur
- Hugo Bruneliere
- article
- EclipseCon Europe 2012 - Modeling Symposium, Oct 2012, Ludwigsburg, Germany
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Object Constraint Language (OCL): A Definitive Guide
- auteur
- Jordi Cabot, Martin Gogolla
- article
- Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science
- Accès au bibtex
-
- titre
- Comparison between internal and external DSLs via RubyTL and Gra2MoL
- auteur
- Jesús Sánchez Cuadrado, Javier Cánovas, Jesus Garcia Molina
- article
- Marjan Mernik. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, IGI Global, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch005⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- MDE 2.0 : Pragmatical formal model verification and other challenges
- auteur
- Jordi Cabot
- article
- Software Engineering [cs.SE]. Universitat Politécnica de Catalunya, 2012
- Accès au texte intégral et bibtex
-
Books
- titre
- Model-Driven Software Engineering in Practice
- auteur
- Marco Brambilla, Jordi Cabot, Manuel Wimmer
- article
- Morgan & Claypool, pp.182, 2012, 9781608458820
- Accès au bibtex
-