Stop the war!Остановите войну!
for scientists:
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
a service of 
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-05-28 20:30 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:
