default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th MoDELS 2015: Ottawa, ON, Canada
- Timothy Lethbridge, Jordi Cabot, Alexander Egyed:
18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-6908-4
Keynotes
- Steve Easterbrook
:
Modelling the climate system: Is model-based science like model-based engineering? (Keynote). 1 - Gail C. Murphy:
Software supply chains (keynote). 2 - Ramesh S.:
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote). 3
Foundations
- Michael Szvetits, Uwe Zdun:
Reusable event types for models at runtime to support the examination of runtime phenomena. 4-13 - Amal Khalil, Juergen Dingel:
Incremental symbolic execution of evolving state machines. 14-23 - Shahar Maoz, Jan Oliver Ringert:
A framework for relating syntactic and semantic model differences. 24-33 - Timo Greifenberg, Markus Look, Sebastian Roidl, Bernhard Rumpe:
Engineering tagging languages for DSLs. 34-43 - Maikel Leemans, Wil M. P. van der Aalst:
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems. 44-53 - Tuhin Kanti Das, Juergen Dingel:
State machine antipatterns for UML-RT. 54-63 - Yosser El Ahmar, Sebastien Gerard, Cédric Dumoulin, Xavier Le Pallec:
Enhancing the communication value of UML models with graphical layers. 64-69 - Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand:
A model-based framework for probabilistic simulation of legal policies. 70-79 - Thomas Hartmann, Assaad Moawad, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon:
Stream my models: Reactive peer-to-peer distributed models@run.time. 80-89 - Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, Yves Le Traon:
Beyond discrete modeling: A continuous and efficient model for IoT. 90-99 - Filip Krikava, Romain Rouvoy, Lionel Seinturier:
Infrastructure as runtime models: Towards Model-Driven resource management. 100-105 - Nuno Amálio, Juan de Lara, Esther Guerra:
Fragmenta: A theory of fragmentation for MDE. 106-115 - Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck:
Consistent co-evolution of models and transformations. 116-125 - Valerio Panzica La Manna, Itai Segall, Joel Greenyer:
Synthesizing tests for combinatorial coverage of modal scenario specifications. 126-135 - Katrin Hölldobler, Bernhard Rumpe, Ingo Weisemöller:
Systematically deriving domain-specific transformation languages. 136-145 - Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara:
Quick fixing ATL model transformations. 146-155 - Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado:
A-posteriori typing for Model-Driven Engineering. 156-165 - Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara:
Pattern-based development of Domain-Specific Modelling Languages. 166-175 - Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler:
Checking concurrent behavior in UML/OCL models. 176-185 - Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet:
A Behavioral Coordination Operator Language (BCOoL). 186-195 - Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, Gergely Dévai:
Textual diagram layout language and visualization algorithm. 196-205 - Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, Sabrina Marczak:
A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques. 206-215 - Colin Atkinson, Ralph Gerbig, Thomas Kühne:
A unifying approach to connections for multi-level modeling. 216-225 - Roberto Rodríguez-Echeverría, Fernando Macías:
A statistical analysis approach to assist model transformation evolution. 226-235 - Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik:
Enriching megamodel management with collection-based operators. 236-245 - Phu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon:
SoSPa: A system of Security design Patterns for systematically engineering secure systems. 246-255 - Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer:
Fully verifying transformation contracts for declarative ATL. 256-265 - Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. 266-275 - Matthew Stephan, James R. Cordy:
Identification of Simulink model antipattern instances using model clone detection. 276-285 - Matthias Schöttle, Jörg Kienzle:
Concern-oriented interfaces for model-based reuse of APIs. 286-291 - Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, Michel R. V. Chaudron:
On the use of UML documentation in software maintenance: Results from a survey in industry. 292-301 - Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki:
Performance prediction upon toolchain migration in model-based software. 302-311 - Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken:
Employing classifying terms for testing model transformations. 312-321 - Vajih Montaghami, Derek Rayside:
Pattern-based debugging of declarative models. 322-327 - Tuong Huan Nguyen, John C. Grundy, Mohamed Almorsy:
Integrating goal-oriented and use case-based requirements engineering: The missing link. 328-337
MDE in Practice
- Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany:
Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach. 338-347 - Alexis Fouche, Florian Noyrit, Sebastien Gerard, Maged Elaasar:
Systematic generation of standard compliant tool support of diagrammatic modeling languages. 348-357 - Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau:
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. 358-367 - Vinay Kulkarni, Souvik Barat, Tony Clark, Balbir S. Barn:
Toward overcoming accidental complexity in organisational decision-making. 368-377 - Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling user intentions for in-car infotainment systems using Bayesian networks. 378-385 - Daniela Lettner, Klaus Eder, Paul Grünbacher, Herbert Prähofer:
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned. 386-395 - Shaukat Ali, Tao Yue:
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. 396-405 - Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, Luis Silvestre:
A megamodel for Software Process Line modeling and evolution. 406-415 - Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers:
Modular model-based supervisory controller design for wafer logistics in lithography machines. 416-425 - Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood:
An automated model based testing approach for platform games. 426-435 - Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni:
Model-driven regulatory compliance: A case study of "Know Your Customer" regulations. 436-445
SoSyM Abstracts
- Alejandro Rago, Claudia A. Marcos, J. Andres Diaz-Pace:
Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract). 446 - Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira:
Enhanced graph rewriting systems for complex software domains (SoSyM abstract). 447 - Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke:
A situational method for semi-automated enterprise architecture documentation (SoSyM abstract). 448 - Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). 449
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 00:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
