Abstract is missing.
- Multi-variability modeling and realization for software derivation in industrial automation managementMiao Fang, Georg Leyh, Jörg Dörr, Christoph Elsner. 2-12 [doi]
- A model-based approach for multi-device user interactionsChristian Prehofer, Andreas Wagner, Yucheng Jin. 13-23 [doi]
- Using free modeling as an agile method for developing domain specific modeling languagesFahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard. 24-34 [doi]
- Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generationNondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel. 36-43 [doi]
- Model-driven performance prediction of systems of systemsKatrina E. Falkner, Claudia Szabo, Vanea Chiprianov. 44 [doi]
- Automatic generation of detailed flight plans from high-level mission descriptionsDavide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli. 45-55 [doi]
- Towards a categorical approach for meta-modelling epistemic game theoryFazle Rabbi, Yngve Lamo, Ingrid Chieh Yu. 57-64 [doi]
- OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraintsCarolina Dania, Manuel Clavel. 65-75 [doi]
- On the synthesis of protocol state machines from contractsPiotr Kosiuczenko. 76-85 [doi]
- Towards the characterization of realistic models: evaluation of multidisciplinary graph metricsGábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró. 87-94 [doi]
- Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual modelsThomas Kühne. 95-102 [doi]
- Metamodel specialization for graphical modeling language supportAudris Kalnins, Janis Barzdins. 103-112 [doi]
- Visual modeling of RESTful conversations with RESTalkAna Ivanchikj, Cesare Pautasso, Silvia Schreier. 114 [doi]
- Formalizing knowledge in multi-scale agent-based simulationsEndre T. Somogyi, James P. Sluka, James A. Glazier. 115-122 [doi]
- Process mining using BPMN: relating event logs and process modelsAnna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin. 123 [doi]
- ThingML: a language and code generation framework for heterogeneous targetsNicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa. 125-135 [doi]
- Modern C++ as a modeling language for automated driving and human-robot collaborationDaniel Tuchscherer, Alexander Weibert, Frank Tränkle. 136-142 [doi]
- Handling index-out-of-bounds in safety-critical embedded C code using model-based developmentGunter Blache. 143-149 [doi]
- Controlled experiment on the comprehension of runtime phenomena using models created at design timeMichael Szvetits, Uwe Zdun. 151-161 [doi]
- Technical debt in MDE: a case study on GMF/EMF-based projectsXiao He, Paris Avgeriou, Peng Liang, Zengyang Li. 162-172 [doi]
- The quest for open source projects that use UML: mining GitHubRegina Hebig, Truong Ho-Quang, Michel R. V. Chaudron, Gregorio Robles, Miguel Angel Fernández. 173-183 [doi]
- Incremental diagram layout for automated model migrationUlf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden. 185-195 [doi]
- A model management approach for assurance case reuse due to system evolutionSahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik. 196-206 [doi]
- Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemCCalypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet. 207-214 [doi]
- Descriptive vs prescriptive models in industryRogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, Jon Whittle. 216-226 [doi]
- The problems with eclipse modeling tools: a topic analysis of eclipse forumsNafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy. 227-237 [doi]
- Model-driven software engineering in the openETCS project: project experiences and lessons learnedStefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel. 238-248 [doi]
- Extracting domain models from natural-language requirements: approach and industrial evaluationChetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer. 250-260 [doi]
- Ground setting properties for an efficient translation of OCL in SMT-based model findingNils Przigoda, Robert Wille, Rolf Drechsler. 261-271 [doi]
- Feature location in models through a genetic algorithm driven by information retrieval techniquesJaime Font, Lorena Arcega, Øystein Haugen, Carlos Cetina. 272-282 [doi]
- A generic transformation algorithm to simplify the development of mapping modelsMatthias Freund, Annerose Braune. 284-294 [doi]
- Automated refactoring of ATL model transformations: a search-based approachBader Alkhazi, Terry Ruas, Marouane Kessentini, Manuel Wimmer, William I. Grosky. 295-304 [doi]
- Model transformation for end-user modelers with VMTLVlad Acretoaie, Harald Störrle, Daniel Strüber 0001. 305 [doi]
- Incremental backward change propagation of view models by logic solversOszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró. 306-316 [doi]
- PrefetchML: a framework for prefetching and caching modelsGwendal Daniel, Gerson Sunyé, Jordi Cabot. 318-328 [doi]
- Partial loading of XMI modelsRan Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige. 329-339 [doi]
- Integration of a graph-based model indexer in commercial modelling toolsAntonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Marcos Aurélio Almeida da Silva, Antonin Abherve, Alessandra Bagnato. 340-350 [doi]
- Query-based access control for secure collaborative modeling using bidirectional transformationsGábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró. 351-361 [doi]
- Towards mutation analysis for use casesHuiHui Zhang, Tao Yue, Shaukat Ali, Chao Liu. 363-373 [doi]
- A generic framework for model-set selection for the unification of testing and learning MDE tasksEdouard Batot, Houari A. Sahraoui. 374-384 [doi]
- Automatic detection of incomplete requirements via symbolic analysisByron DeVries, Betty H. C. Cheng. 385-395 [doi]
- A requirement driven testing method for multi-disciplinary system designMartial Chabot, Laurence Pierre, Alexandre Nabais-Moreno. 396-405 [doi]