P&D@MoDELS

Keyphrases

Publications

volume 1554, 2016

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. P&D@MoDELS 1554 (2016)

2015

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins
Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. P&D@MoDELS (2015)
Francesco Basciani, Davide Di Ruscio, Juri Di Rocco, Alfonso Pierantonio, Ludovico Iovino
A Tool for Clustering Metamodel Repositories. P&D@MoDELS (2015)
Ta'id Holmes
Facilitating Agile Prototyping of Cloud Applications - A Model-based Approach. P&D@MoDELS (2015)
Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
SyVOLT: Full Model Transformation Verification Using Contracts. P&D@MoDELS (2015)
Alejandro Rago, Claudia A. Marcos, J. Andres Diaz-Pace
REAssistant: a Tool for Identifying Crosscutting Concerns in Textual Requirements. P&D@MoDELS (2015)
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet
A Model-Driven Based Environment for Automatic Model Coordination. P&D@MoDELS (2015)
David Blanes, Javier Gonzalez-Huerta, Emilio Insfrán
A Tool for the Automatic Generation of Multimodel Editors. P&D@MoDELS (2015)
Zamira Daw, John Mangino, Rance Cleaveland
UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@MoDELS (2015)
Romain Alexandre, Cécile Camillieri, Mustafa Berk Duran, Aldo Navea Pina, Matthias Schöttle, Jörg Kienzle, Gunter Mussbacher
Support for Evaluation of Impact Models in Reuse Hierarchies with jUCMNav and TouchCORE. P&D@MoDELS (2015)
Luis Silvestre, María Cecilia Bastarrica, Sergio F. Ochoa
A Usable MDE-based Tool for Software Process Tailoring. P&D@MoDELS (2015)
Frédéric Madiot, Marc Paganelli
Eclipse Sirius Demonstration. P&D@MoDELS (2015)
Hui Song, Franck Chauvel, Franck Fleurey, Nicolas Ferry, Arnor Solberg
Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications. P&D@MoDELS (2015)
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS (2015)
Victor Guana, Eleni Stroulia
Reflecting on Model-based Code Generators Using Traceability Information. P&D@MoDELS (2015)
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS (2015)