Table of Contents

• Designing 3D Video Games with Models at Run-timeFranck Barbier. 5
• Engineering Software Languages for the Digital WorldBernhard Rumpe. 7
• Languages for Programming - From Punched Cards to Wise ComputingDavid Harel. 9
• A Model-Driven Method for Fast Building Consistent Web Services in PracticeDavid Sferruzza, Jérôme Rocheteau, Christian Attiogbé, Arnaud Lanoix. 15-24 [doi]
• A Model Compilation Approach for Optimized Implementations of Signal-processing SystemsAndrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, Adrien Canuel. 25-35 [doi]
• Generating Multi-Variant Java Source Code Using Generic AspectsSandra Greiner, Bernhard Westfechtel. 36-47 [doi]
• Predicting the Perceived Modularity of MOF-based MetamodelsGeorg Hinkel, Misha Strittmatter. 48-58 [doi]
• Virtual Extension of Meta-models with Facet ToolsJonathan Pepin, Pascal André, Christian Attiogbé, Erwan Breton. 59-70 [doi]
• DoMoRe - A Recommender System for Domain ModelingHenning Agt-Rickauer, Ralf-Detlef Kutsche, Harald Sack. 71-82 [doi]
• An Integrated Framework to Specify Domain-Specific Modeling LanguagesBahram Zarrin, Hubert Baumeister. 83-94 [doi]
• A Fully Implemented Didactic Tool for the Teaching of Interactive Software SystemsJenny Ruiz, Estefanía Serral, Monique Snoeck. 95-105 [doi]
• Reusing Platform-specific Models in Model-Driven Architecture for Software Product LinesFrédéric Verdier, Abdelhak-Djamel Seriai, Raoul Taffo Tiam. 106-116 [doi]
• Towards Interactive Mining of Understandable State Machine Models from Embedded SoftwareWasim Said, Jochen Quante, Rainer Koschke. 117-128 [doi]
• Reducing UML Modeling Tool Complexity with Architectural Contexts and ViewpointsMaged Elaasar, Florian Noyrit, Omar Badreddin, Sébastien Gérard. 129-138 [doi]
• Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and IndependencePhilipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler. 139-151 [doi]
• Static Analysis of Conformance Preserving Model Transformation RulesFazle Rabbi, Lars Michael Kristensen, Yngve Lamo. 152-162 [doi]
• Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT MethodologySteffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern. 163-178 [doi]
• Retrofitting Type-safe Interfaces into Template-based Code GeneratorsKai Adam, Arvid Butting, Oliver Kautz, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann. 179-190 [doi]
• A Process-oriented Build Tool for Safety-critical Model-based Software DevelopmentMarkus Hochstrasser, Stephan Myschik, Florian Holzapfel. 191-202 [doi]
• Cost-aware Scheduling of Software Processes Execution in the CloudSami Alajrami, Alexander B. Romanovsky, Barbara Gallina. 203-212 [doi]
• Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine TestsAlberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva. 213-224 [doi]
• Test Generation for Performance Evaluation of Mobile Multimedia Streaming ApplicationsMustafa Al-tekreeti, Kshirasagar Naik, Atef Abdrabou, Marzia Zaman, Pradeep Srivastava. 225-236 [doi]
• Defining Services and Service Orchestrators Acting on Shared Sensors and ActuatorsRayhana Baghli, Elie Najm, Bruno Traverson. 237-246 [doi]
• Component-based Modeling in UmpleMahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge. 247-255 [doi]
• Fast Simulation Preorder AlgorithmEvgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern. 256-267 [doi]
• Towards an Implementation of Data and Resource Patterns in Constraint-based Process ModelsStefan Schönig, Lars Ackermann, Stefan Jablonski. 271-278 [doi]
• Qualitative Simulation of Hybrid Systems with an Application to SysML ModelsSlim Medimegh, Jean-Yves Pierron, Frédéric Boulanger. 279-286 [doi]
• Evolving Attacker Perspectives for Secure Embedded System DesignLetitia W. Li, Florian Lugou, Ludovic Apvrille. 287-294 [doi]
• Multi-level Latency Evaluation with an MDE ApproachDaniela Genius, Letitia W. Li, Ludovic Apvrille, Tullio Tanzi. 295-302 [doi]
• Refinements and Structural Decompositions in Generated CodeGeorg Hinkel, Kiana Busch, Robert Heinrich. 303-310 [doi]
• Formal, Model- and Scenario-based Requirement PatternsMarkus Fockel, Jörg Holtmann, Thorsten Koch, David Schmelter. 311-318 [doi]
• Towards Domain-specific Flow-based LanguagesBahram Zarrin, Hubert Baumeister, Hessam S. Sarjoughian. 319-325 [doi]
• Managing Variability in Models and Derived Artefacts in Model-driven Software Product LinesThomas Buchmann, Sandra Greiner. 326-335 [doi]
• BXtend - A Framework for (Bidirectional) Incremental Model TransformationsThomas Buchmann. 336-345 [doi]
• Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design DecisionsMert Ozkaya. 346-355 [doi]
• Analysis of the Evolution of the UML MetamodelZhiyi Ma, Huihong He, Jinyang Liu, Xiao He. 356-363 [doi]
• Verifiable Parameterised Behaviour Models - For Robotic and Embedded SystemsVladimir Estivill-Castro, René Hexel. 364-371 [doi]
• Supporting Simulation Experiments with MegamodelingSema Çam, Orçun Dayibas, Bilge Kaan Görür, Halit Oguztüzün, Levent Yilmaz, Sritika Chakladar, Kyle Doud, Alice E. Smith, Alejandro Teran-Somohano. 372-378 [doi]
• Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud ServicesTian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernández, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka, Atsuo Hazeyama. 379-386 [doi]
• Challenges and Opportunities of Modularizing Textual Domain-Specific LanguagesChristoph Rieger, Martin Westerkamp, Herbert Kuchen. 387-395 [doi]
• An Ontological Context Modeling Framework for Coping with the Dynamic Contexts of Cyber-physical SystemsJennifer Brings, Marian Daun, Constantin Hildebrandt, Sebastian Törsleff. 396-403 [doi]
• Model Driven Architecture based Testing Tool based on Architecture ViewsBurak Uzun, Bedir Tekinerdogan. 404-410 [doi]
• Clone Detection for Ecore Metamodels using N-gramsÖnder Babur. 411-419 [doi]
• Translating Multi-device Task Models to State MachinesAndreas Wagner, Christian Prehofer. 420-428 [doi]
• Can Abstraction Be Taught? Refactoring-based Abstraction LearningNaoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato. 429-437 [doi]
• Information Extraction from High-level Activity Diagrams to Support Development TasksMartin Beckmann 0002, Thomas Karbe, Andreas Vogelsang. 438-445 [doi]
• Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL RepositoryJosh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand. 446-453 [doi]
• Ontology then Agentology: A Finer Grained Framework for Enterprise ModellingChris Partridge, Sergio de Cesare, Andrew Mitchell, Ana León, Frederik Gailly, Mesbah Khan. 454-463 [doi]
• A C++ Implementation of UML Subsets and Unions for MDEFrancesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann. 464-471 [doi]
• Pattern based Web Security TestingPaulo J. M. de Araújo, Ana C. R. Paiva. 472-479 [doi]
• A Model-driven Approach for Generating RESTful Web Services in Single-Page ApplicationsAdrian Hernandez-Mendez, Niklas Scholz, Florian Matthes. 480-487 [doi]
• Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesJérémy Buisson, Seidali Rehab. 488-495 [doi]
• A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and CodeVan Cam Pham, Ansgar Radermacher, Sébastien Gérard. 496-503 [doi]
• Multi-Concerns Engineering for Safety-Critical SystemsPhilipp Lohmüller, Andrea Fendt, Bernhard Bauer. 504-510 [doi]
• An Y MDE Approach for Enactable Software Process Models GenerationSamba Diaw, Mamadou Lakhassane Cisse, Alassane Bah. 511-518 [doi]
• Self-describing Operations for Multi-level Meta-modelingDaniel Urbán, Zoltan Theisz, Gergely Mezei. 519-527 [doi]
• A Combination of V Development Life Cycle and Model-based Testing to Deal with Software System Evolution IssuesImane Essebaa, Salima Chantit. 528-535 [doi]
• Cost-Risk Optimization Applied in the Context of RegulationIbtissem Chouba, Jean-Sébastien Sottet. 536-543 [doi]
• Using Structure of Automata for Faster Synchronizing HeuristicsBerk Cirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün. 544-551 [doi]
• Modeling a Tool for Conducting Systematic Reviews IterativelyBrice M. Bigendako, Eugene Syriani. 552-559 [doi]
• Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based ModelsJoel Greenyer, Daniel Gritzner, David Harel, Assaf Marron. 560-566 [doi]
• Towards Better Document to Model Synchronisation: Experimentations with a Proposed ArchitectureArnaud Michot, Christophe Ponsard, Quentin Boucher. 567-574 [doi]
• Concurrent Programming using UmpleMahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge. 575-585 [doi]
• A Meta-model based Automatic Conceptual Model-to-Model Transformation MethodologyTiexin Wang, Sébastien Truptil, Frédérick Bénaben, Chuanqi Tao. 586-593 [doi]
• Context-specific Quality Evaluation of Test CasesIvan Jovanovikj, Vishwak Narasimhan, Gregor Engels, Stefan Sauer 0001. 594-601 [doi]
• Model-guided Security Analysis of Interconnected Embedded SystemsYasamin Mahmoodi, Sebastian Reiter 0003, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. 602-609 [doi]
• Modelling a CPS Swarm System: A Simple Case StudyMelanie Schranz, Alessandra Bagnato, Etienne Brosse, Wilfried Elmenreich. 615-624 [doi]
• Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDEDeepak Dhungana. 625-631 [doi]
• Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical SystemsJose Luis de la Vara, Alejandra Ruiz 0001, Huáscar Espinoza. 632-641 [doi]
• A Daily Dose of DSL - MDE Micro Injections in PracticeGerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec. 642-651 [doi]
• Formal Description and Verification of a Text-based Model Differencing and Merging MethodFerenc A. Somogyi, Márk Asztalos. 657-667 [doi]
• Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri NetsJoão António Custódio Soares, Bruno Lima, João Pascoal Faria. 668-679 [doi]
• Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic EquationsGiulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico. 680-688 [doi]
• Data Harvesting, Curation and Fusion Model to Support Public Service Recommendations for e-GovernmentsGayane Sedrakyan, Laurens De Vocht, Juncal Alonso, Marisa Escalante, Leire Orue-Echevarria, Erik Mannens. 691-698 [doi]
• Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing ActivitiesReinhard Pröll, Bernhard Bauer. 699-706 [doi]
• User Impersonation as a Service in End-to-End TestingBoni García, Francisco Gortázar, Micael Gallego, Eduardo Jiménez. 707-714 [doi]
• Integration of Hawk for Model Metrics in the MEASURE PlatformOrjuwan Al-Wadeai, Antonio García-Domínguez, Alessandra Bagnato, Antonin Abherve, Konstantinos Barmpis. 719-730 [doi]
• Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product LinesSven Schuster, Christoph Seidl, Ina Schaefer. 731-742 [doi]
• Towards Automated Analysis of Model-Driven Artifacts in IndustryRamon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand. 743-751 [doi]
• Pain-mitigation Techniques for Model-based Engineering using Domain-specific LanguagesBenny Akesson, Jozef Hooman, Roy Dekker, Willemien Ekkelkamp, Bas Stottelaar. 752-764 [doi]
• Towards Distributed Model Analytics with Apache SparkÖnder Babur, Loek Cleophas, Mark van den Brand. 767-772 [doi]