MoDELS A

54 papers

YearTitle / Authors
201518th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015
Timothy Lethbridge, Jordi Cabot, Alexander Egyed
2015A Behavioral Coordination Operator Language (BCOoL).
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoît Combemale, Frédéric Mallet
2015A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques.
Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, Sabrina Marczak
2015A framework for relating syntactic and semantic model differences.
Shahar Maoz, Jan Oliver Ringert
2015A megamodel for Software Process Line modeling and evolution.
Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, Luis Silvestre
2015A model-based framework for probabilistic simulation of legal policies.
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand
2015A situational method for semi-automated enterprise architecture documentation (SoSyM abstract).
Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke
2015A statistical analysis approach to assist model transformation evolution.
Roberto Rodríguez-Echeverría, Fernando Macías
2015A unifying approach to connections for multi-level modeling.
Colin Atkinson, Ralph Gerbig, Thomas Kühne
2015A-posteriori typing for Model-Driven Engineering.
Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado
2015An automated model based testing approach for platform games.
Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood
2015Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach.
Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany
2015Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote).
Ramesh S.
2015Beyond discrete modeling: A continuous and efficient model for IoT.
Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon
2015Checking concurrent behavior in UML/OCL models.
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
2015Concern-oriented interfaces for model-based reuse of APIs.
Matthias Schöttle, Jörg Kienzle
2015Consistent co-evolution of models and transformations.
Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck
2015Employing classifying terms for testing model transformations.
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
2015Engineering tagging languages for DSLs.
Timo Greifenberg, Markus Look, Sebastian Roidl, Bernhard Rumpe
2015Enhanced graph rewriting systems for complex software domains (SoSyM abstract).
Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira
2015Enhancing the communication value of UML models with graphical layers.
Yosser El Ahmar, Sebastien Gerard, Cédric Dumoulin, Xavier Le Pallec
2015Enriching megamodel management with collection-based operators.
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015Extracting frame conditions from operation contracts.
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015Feature modeling of two large-scale industrial software systems: Experiences and lessons learned.
Daniela Lettner, Klaus Eder, Paul Grünbacher, Herbert Prähofer
2015Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).
Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
2015Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard.
Shaukat Ali, Tao Yue
2015Fragmenta: A theory of fragmentation for MDE.
Nuno Amálio, Juan de Lara, Esther Guerra
2015Fully verifying transformation contracts for declarative ATL.
Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
2015Identification of Simulink model antipattern instances using model clone detection.
Matthew Stephan, James R. Cordy
2015Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract).
Alejandro Rago, Claudia A. Marcos, J. Andres Diaz-Pace
2015Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study.
Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau
2015Incremental symbolic execution of evolving state machines.
Amal Khalil, Juergen Dingel
2015Infrastructure as runtime models: Towards Model-Driven resource management.
Filip Krikava, Romain Rouvoy, Lionel Seinturier
2015Integrating goal-oriented and use case-based requirements engineering: The missing link.
Tuong Huan Nguyen, John C. Grundy, Mohamed Almorsy
2015Model-driven regulatory compliance: A case study of "Know Your Customer" regulations.
Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni
2015Modeling user intentions for in-car infotainment systems using Bayesian networks.
Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer
2015Modelling the climate system: Is model-based science like model-based engineering? (Keynote).
Steve Easterbrook
2015Modular model-based supervisory controller design for wafer logistics in lithography machines.
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
2015On the use of UML documentation in software maintenance: Results from a survey in industry.
Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, Michel R. V. Chaudron
2015Pattern-based debugging of declarative models.
Vajih Montaghami, Derek Rayside
2015Pattern-based development of Domain-Specific Modelling Languages.
Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara
2015Performance prediction upon toolchain migration in model-based software.
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
2015Process mining in software systems: Discovering real-life business transactions and process models from distributed systems.
Maikel Leemans, Wil M. P. van der Aalst
2015Quick fixing ATL model transformations.
Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2015Reusable event types for models at runtime to support the examination of runtime phenomena.
Michael Szvetits, Uwe Zdun
2015SoSPa: A system of Security design Patterns for systematically engineering secure systems.
Phu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon
2015Software supply chains (keynote).
Gail C. Murphy
2015State machine antipatterns for UML-RT.
Tuhin Kanti Das, Juergen Dingel
2015Stream my models: Reactive peer-to-peer distributed [email protected].
Thomas Hartmann, Assaad Moawad, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon
2015Synthesizing tests for combinatorial coverage of modal scenario specifications.
Valerio Panzica La Manna, Itai Segall, Joel Greenyer
2015Systematic generation of standard compliant tool support of diagrammatic modeling languages.
Alexis Fouche, Florian Noyrit, Sebastien Gerard, Maged Elaasar
2015Systematically deriving domain-specific transformation languages.
Katrin Hölldobler, Bernhard Rumpe, Ingo Weisemöller
2015Textual diagram layout language and visualization algorithm.
Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, Gergely Dévai
2015Toward overcoming accidental complexity in organisational decision-making.
Vinay Kulkarni, Souvik Barat, Tony Clark, Balbir S. Barn