Journal articles
- titre
- On the Verification of UML/OCL Class Diagrams using Constraint Programming
- auteur
- Jordi Cabot, Robert Clarisó, Daniel Riera
- article
- Journal of Systems and Software, 2014, ⟨10.1016/j.jss.2014.03.023⟩
- Accès au bibtex
-
- titre
- MoDisco: a Model Driven Reverse Engineering Framework
- auteur
- Hugo Bruneliere, Jordi Cabot, Grégoire Dupé, Frédéric Madiot
- article
- Information and Software Technology, 2014, 56 (8), pp.1012-1032. ⟨10.1016/j.infsof.2014.04.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Adapting Transformations to Metamodel Changes via External Transformation Composition
- auteur
- Kelly Garces, Juan M. Vara, Frédéric Jouault, Esperanza Marcos
- article
- Software and Systems Modeling, 2014, pp.789-806. ⟨10.1007/s10270-012-0297-1⟩
- Accès au bibtex
-
- titre
- A Framework for Variable Content Document Generation with Multiple Actors
- auteur
- Abel Gómez, M. Carmen Penadés, José H. Canós, Marcos R. S. Borges, Manuel Llavador
- article
- Information and Software Technology, 2014, Special Sections from "Asia-Pacific Software Engineering Conference (APSEC), 2012" and " Software Product Line conference (SPLC), 2012", 56 (9), pp.1101-1121. ⟨10.1016/j.infsof.2013.12.006⟩
- Accès au texte intégral et bibtex
-
- titre
- Software modernization and cloudification using the ARTIST migration methodology and framework
- auteur
- Andreas Menychtas, Kleopatra Konstanteli, Juncal Alonso, Leire Orue-Echevarria, Jesus Gorronogoitia, George Kousiouris, Christina Santzaridou, Hugo Bruneliere, Bram Pellens, Peter Stuer, Olivier Strauss, Tatiana Senkova, Theodora Varvarigou
- article
- Scalable Computing : Practice and Experience, 2014, 15 (2), pp.131-152. ⟨10.12694/scpe.v15i2.938⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Static Software Models in MDE: A Systematic Review
- auteur
- Carlos Alberto González Pérez, Jordi Cabot
- article
- Information and Software Technology, 2014, ⟨10.1016/j.infsof.2014.03.003⟩
- Accès au bibtex
-
- titre
- Extracting Models from Source Code in Software Modernization
- auteur
- Javier Cánovas, Jesus Garcia Molina
- article
- Software and Systems Modeling, 2014, 13 (2), pp.21. ⟨10.1007/s10270-012-0270-z⟩
- Accès au texte intégral et bibtex
-
- titre
- On OCL-based imperative languages
- auteur
- Fabian Buettner, Martin Gogolla
- article
- Science of Computer Programming, 2014, 92 (B), pp.162-178. ⟨10.1016/j.scico.2013.10.003⟩
- Accès au bibtex
-
- titre
- Applying model-driven engineering in small software enterprises
- auteur
- Jesús Sánchez Cuadrado, Javier Luis Cánovas Izquierdo, Jesús García Molina
- article
- Science of Computer Programming, 2014, Special issue on Success Stories in Model Driven Engineering, 89 (B), pp.176-198. ⟨10.1016/j.scico.2013.04.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Testing of Global Properties on Large-Scale Distributed Systems
- auteur
- Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
- article
- Information and Software Technology, 2014, 56 (7), pp.749-762. ⟨10.1016/j.infsof.2014.02.002⟩
- Accès au bibtex
-
Conference papers
- titre
- DPLFW: a Framework for the Product-Line-Based Generation of Variable Content Documents
- auteur
- Abel Gómez, Pau Martí, M. Carmen Penadés, José H. Canós
- article
- Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Oct 2014, Valencia, Spain
- Accès au texte intégral et bibtex
-
- titre
- Neo4EMF, a Scalable Persistence Layer for EMF Models
- auteur
- Amine Benelallam, Abel Gómez, Gerson Sunyé, Massimo Tisi, David Launay
- article
- ECMFA- European conference on Modeling Foundations and applications, University of York, Apr 2014, York, UK, United Kingdom. pp.230-241, ⟨10.1007/978-3-319-09195-2_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving memory efficiency for processing large-scale models
- auteur
- Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi
- article
- BigMDE, University of York, Jul 2014, York, UK, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis
- auteur
- Carlos Alberto González Pérez, Jordi Cabot
- article
- ICMT 2014 - 7th International Conference on Model Transformation, Jul 2014, York, United Kingdom. pp.25-41, ⟨10.1007/978-3-319-08789-4_3⟩
- Accès au bibtex
-
- titre
- Turning Emergency Plans into Executable Artifacts
- auteur
- José H. Canós-Cerdá, Juan Sánchez-Díaz, Vicente Orts, M. Carmen Penadés, Abel Gómez, Marcos R. S. Borges
- article
- The 11th International Conference on Information Systems for Crisis Response and Management, May 2014, State College, Pennsylvania, United States. pp.496-500
- Accès au texte intégral et bibtex
-
- titre
- Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations
- auteur
- Amine Benelallam, Massimo Tisi, Istvan Rath, Benedeck Izso, Dimitrios S. Kolovos
- article
- BigMDE, University of York, Jul 2014, York, UK, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Extending the Interaction Flow Modeling Language (IFML) for Model Driven Development of Mobile Applications Front End
- auteur
- Marco Brambilla, Andrea Mauri, Eric Umuhoza
- article
- Mobile Web Information Systems, Aug 2014, Barcelona, Spain
- Accès au texte intégral et bibtex
-
- titre
- Improving the scalability of Model driven Web engineering approaches with runtime transformations
- auteur
- Esteban Robles, José Matías Rivero, Matias Urbieta, Jordi Cabot
- article
- 14th International Conference on Web Engineering, Jul 2014, Toulouse, France
- Accès au bibtex
-
- titre
- On Developing Open Source MDE Tools: Our Eclipse Stories and Lessons Learned
- auteur
- Hugo Bruneliere, Jordi Cabot
- article
- Open Source Software for Model Driven Engineering (OSS4MDE'14) workshop - a MODELS 2014 Satellite Event, Sep 2014, Valencia, Spain
- Accès au texte intégral et bibtex
-
- titre
- Neo4EMF : when big models are no longer an issue
- auteur
- Amine Benelallam, Hugo Bruneliere
- article
- EclipseCon France 2014, Jun 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- fUML as an Assembly Language for Model Transformation
- auteur
- Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Saidi Zied, Hassene Choura
- article
- 7th International Conference, SLE 2014, Sep 2014, Västerås, Sweden. pp.171-190, ⟨10.1007/978-3-319-11245-9_10⟩
- Accès au bibtex
-
- titre
- fUML as an Assembly Language for MDA
- auteur
- Frédéric Jouault, Massimo Tisi, Jérôme Delatour
- article
- Proceedings of the 6th International Workshop on Modeling in Software Engineering, Jun 2014, Hyderabad, India. pp.61-64, ⟨10.1145/2593770.2593778⟩
- Accès au texte intégral et bibtex
-
- titre
- An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations
- auteur
- Jokin Garcia, Oscar Díaz, Jordi Cabot
- article
- 26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece
- Accès au bibtex
-
- titre
- Composing JSON-based Web APIs
- auteur
- Javier Cánovas, Jordi Cabot
- article
- ICWE 2014 - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. pp.390-399, ⟨10.1007/978-3-319-08245-5_24⟩
- Accès au texte intégral et bibtex
-
- titre
- EMF Views: Dealing with several interrelated EMF models
- auteur
- Hugo Bruneliere, Juan David Villa Calle
- article
- EclipseCon 2014 - Modeling Symposium, Mar 2014, San Francisco, United States
- Accès au texte intégral et bibtex
-
- titre
- Product Line-based customization of e-Government documents
- auteur
- M. Carmen Penadés, Pau Martí, José H. Canós, Abel Gómez
- article
- PEGOV 2014: Personalization in e-Government Services, Data and Applications, Jul 2014, Aalborg, Denmark
- Accès au texte intégral et bibtex
-
Theses
- titre
- Automatic reconstruction and analysis of security policies from deployed security components
- auteur
- Salvador Martínez
- article
- Systems and Control [cs.SY]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0193⟩
- Accès au texte intégral et bibtex
-
- titre
- Pragmatic model verification
- auteur
- Carlos Alberto Gonzalez Perez
- article
- Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0189⟩
- Accès au texte intégral et bibtex
-