default search action
18th 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
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
A model-based framework for probabilistic simulation of legal policies. 70-79 - Thomas Hartmann, Assaad Moawad, François Fouquet, Grégory Nain
Stream my models: Reactive peer-to-peer distributed models@run.time. 80-89 - Assaad Moawad, Thomas Hartmann
Beyond discrete modeling: A continuous and efficient model for IoT. 90-99 - Filip Krikava
Infrastructure as runtime models: Towards Model-Driven resource management. 100-105 - Nuno Amálio
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
Systematically deriving domain-specific transformation languages. 136-145 - Jesús Sánchez Cuadrado
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
Pattern-based development of Domain-Specific Modelling Languages. 166-175 - Nils Przigoda
Checking concurrent behavior in UML/OCL models. 176-185 - Matias Ezequiel Vara Larsen, Julien DeAntoni
A Behavioral Coordination Operator Language (BCOoL). 186-195 - Balázs Gregorics, Tibor Gregorics
Textual diagram layout language and visualization algorithm. 196-205 - Natasha M. Costa Valentim
A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques. 206-215 - Colin Atkinson
A unifying approach to connections for multi-level modeling. 216-225 - Roberto Rodríguez-Echeverría
A statistical analysis approach to assist model transformation evolution. 226-235 - Rick Salay, Sahar Kokaly, Alessio Di Sandro
Enriching megamodel management with collection-based operators. 236-245 - Phu Hong Nguyen
SoSPa: A system of Security design Patterns for systematically engineering secure systems. 246-255 - Bentley James Oakes
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
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
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
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
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
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
A megamodel for Software Process Line modeling and evolution. 406-415 - Bram van der Sanden
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
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
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 2024-09-28 01:15 CEST 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: