default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th MoDELS 2016: Saint Malo, France
- Benoit Baudry, Benoît Combemale:
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. ACM 2016, ISBN 978-1-4503-4321-3
Domain-specific modelling
- Miao Fang, Georg Leyh, Jörg Dörr, Christoph Elsner:
Multi-variability modeling and realization for software derivation in industrial automation management. 2-12 - Christian Prehofer, Andreas Wagner, Yucheng Jin
:
A model-based approach for multi-device user interactions. 13-23 - Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard:
Using free modeling as an agile method for developing domain specific modeling languages. 24-34
Applications i
- Nondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel:
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation. 36-43 - Katrina Falkner, Claudia Szabo, Vanea Chiprianov:
Model-driven performance prediction of systems of systems. 44 - Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli:
Automatic generation of detailed flight plans from high-level mission descriptions. 45-55
Modelling and formal methods
- Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu:
Towards a categorical approach for meta-modelling epistemic game theory. 57-64 - Carolina Dania, Manuel Clavel:
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. 65-75 - Piotr Kosiuczenko:
On the synthesis of protocol state machines from contracts. 76-85
Modelling models
- Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró:
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. 87-94 - Thomas Kühne:
Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models. 95-102 - Audris Kalnins, Janis Barzdins:
Metamodel specialization for graphical modeling language support. 103-112
Applications ii
- Ana Ivanchikj, Cesare Pautasso, Silvia Schreier:
Visual modeling of RESTful conversations with RESTalk. 114 - Endre T. Somogyi, James P. Sluka, James A. Glazier:
Formalizing knowledge in multi-scale agent-based simulations. 115-122 - Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin:
Process mining using BPMN: relating event logs and process models. 123
Models and code
- Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa:
ThingML: a language and code generation framework for heterogeneous targets. 125-135 - Daniel Tuchscherer, Alexander Weibert, Frank Tränkle:
Modern C++ as a modeling language for automated driving and human-robot collaboration. 136-142 - Gunter Blache:
Handling index-out-of-bounds in safety-critical embedded C code using model-based development. 143-149
Empirical investigations i
- Michael Szvetits, Uwe Zdun:
Controlled experiment on the comprehension of runtime phenomena using models created at design time. 151-161 - Xiao He, Paris Avgeriou, Peng Liang, Zengyang Li:
Technical debt in MDE: a case study on GMF/EMF-based projects. 162-172 - Regina Hebig, Truong Ho-Quang, Michel R. V. Chaudron, Gregorio Robles, Miguel Angel Fernández:
The quest for open source projects that use UML: mining GitHub. 173-183
Testing and simulation
- Ulf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden:
Incremental diagram layout for automated model migration. 185-195 - Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik:
A model management approach for assurance case reuse due to system evolution. 196-206 - Calypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet:
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC. 207-214
Empirical investigations ii
- Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, Jon Whittle:
Descriptive vs prescriptive models in industry. 216-226 - Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy:
The problems with eclipse modeling tools: a topic analysis of eclipse forums. 227-237 - Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel:
Model-driven software engineering in the openETCS project: project experiences and lessons learned. 238-248
Advanced algorithms and modelling
- Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Extracting domain models from natural-language requirements: approach and industrial evaluation. 250-260 - Nils Przigoda, Robert Wille, Rolf Drechsler:
Ground setting properties for an efficient translation of OCL in SMT-based model finding. 261-271 - Jaime Font, Lorena Arcega, Øystein Haugen, Carlos Cetina:
Feature location in models through a genetic algorithm driven by information retrieval techniques. 272-282
Model transformation
- Matthias Freund, Annerose Braune:
A generic transformation algorithm to simplify the development of mapping models. 284-294 - Bader Alkhazi, Terry Ruas, Marouane Kessentini, Manuel Wimmer, William I. Grosky:
Automated refactoring of ATL model transformations: a search-based approach. 295-304 - Vlad Acretoaie, Harald Störrle, Daniel Strüber:
Model transformation for end-user modelers with VMTL. 305 - Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Incremental backward change propagation of view models by logic solvers. 306-316
Tooling
- Gwendal Daniel, Gerson Sunyé, Jordi Cabot:
PrefetchML: a framework for prefetching and caching models. 318-328 - Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige:
Partial loading of XMI models. 329-339 - Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Marcos Aurélio Almeida da Silva, Antonin Abherve, Alessandra Bagnato:
Integration of a graph-based model indexer in commercial modelling tools. 340-350 - Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró:
Query-based access control for secure collaborative modeling using bidirectional transformations. 351-361
Testing and analysis
- Huihui Zhang, Tao Yue, Shaukat Ali, Chao Liu:
Towards mutation analysis for use cases. 363-373 - Edouard Batot, Houari A. Sahraoui:
A generic framework for model-set selection for the unification of testing and learning MDE tasks. 374-384 - Byron DeVries, Betty H. C. Cheng:
Automatic detection of incomplete requirements via symbolic analysis. 385-395 - Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno:
A requirement driven testing method for multi-disciplinary system design. 396-405
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-10-22 02:22 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:
