Abstract is missing.
- Conceptual Models as Ontological ContractsGiancarlo Guizzardi. 5
- The Need for Context in Software EngineeringGail Murphy. 7
- About Synergies between Model-based Engineering and Artificial IntelligenceSébastien Gérard. 9
- A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMIDavid Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon. 15-25 [doi]
- Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software SystemsPadma Iyenghar, Lars Huning, Elke Pulvermüller. 26-38 [doi]
- Integer Overflow Detection in Hardware Designs at the Specification LevelFritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler. 41-48 [doi]
- Improving Multi-domain Stakeholder Communication of Embedded Safety-critical Development using Agile Practices: Expert ReviewSurafel Demissie, Frank Keenan, Róisín Loughran, Fergal McCaffery. 49-56 [doi]
- The Seamless Low-cost Development Platform LoRra for Model based Systems EngineeringSven Jacobitz, Xiaobo Liu-Henke. 57-64 [doi]
- Business Process Model Recommendation as a Transformation Process in MDE: Conceptualization and First ExperimentsHadjer Khider, Slimane Hammoudi, Abdelkrim Meziane. 65-75 [doi]
- Model Transformation by Example with Statistical Machine TranslationKarima Berramla, El Abbassia Deba, Jiechen Wu, Houari A. Sahraoui, Abou El Hassan Benyamina. 76-83 [doi]
- High-level Partitioning and Design Space Exploration for Cyber Physical SystemsDaniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin. 84-91 [doi]
- Determination of ISO 22400 Key Performance Indicators using Simulation Models: The Concept and MethodologyMateusz Kikolski. 92-99 [doi]
- Towards Ontology Driven Provenance in Scientific Workflow EngineAnila Sahar Butt, Nicholas Car, Peter Fitch. 105-115 [doi]
- Graph-based Model Inspection Tool for Multi-disciplinary Production Systems EngineeringFelix Rinker, Laura Waltersdorfer, Manuel Schüller, Dietmar Winkler 0001. 116-125 [doi]
- Guarded Deep Learning using Scenario-based ModelingGuy Katz. 126-136 [doi]
- Towards a Model-based Fuzzy Software Quality MetricsOmar Masmali, Omar Badreddin. 139-148 [doi]
- Development of Health Software using Behaviour Driven Development - BDDMohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery. 149-157 [doi]
- Automatic Verification of Behavior of UML Requirements Specifications using Model CheckingSaeko Matsuura, Sae Ikeda, Kasumi Yokotae. 158-166 [doi]
- Defining Controlled Experiments Inside the Access Control EnvironmentSaid Daoudagh, Eda Marchetti. 167-176 [doi]
- Resilient BPMN: Robust Process Modeling in Unreliable Communication EnvironmentsFrank Nordemann, Ralf Tönjes, Elke Pulvermüller. 181-192 [doi]
- Themulus: A Timed Contract-calculusAlberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace. 193-204 [doi]
- Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive MaintenanceAlexandre Sarazin, Sébastien Truptil, Aurélie Montarnal, Jacques Lamothe, Julien Commanay, Laurent Sagaspe. 205-215 [doi]
- Towards Abstract Test Execution in Early Stages of Model-driven Software DevelopmentNoël Hagemann, Reinhard Pröll, Bernhard Bauer. 216-226 [doi]
- A Methodological Assistant for Use Case DiagramsErika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds. 227-236 [doi]
- A Technique for Automata-based Verification with Residual ReasoningShaun Azzopardi, Christian Colombo, Gordon J. Pace. 237-248 [doi]
- Verifying OCL Operational Contracts via SMT-based SynthesisingHao Wu 0017, Joseph Timoney. 249-259 [doi]
- Automated Synthesis of ATL Transformations from Metamodel CorrespondencesKevin Lano, Shichao Fang. 263-270 [doi]
- Classifying Unstructured Models into Metamodels using Multi Layer PerceptronsWalmir Oliveira Couto, Emerson Cordeiro Morais, Marcos Didonet Del Fabro. 271-278 [doi]
- Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with SimulinkChristophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas . 279-286 [doi]
- Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV ModulesMiguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth. 287-298 [doi]
- Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context ModelingStefan Kapferer, Olaf Zimmermann. 299-306 [doi]
- Real Models are Really on M0 - Or How to Make Programmers Use ModelingJoachim Fischer, Birger Møller-Pedersen, Andreas Prinz 0001. 307-318 [doi]
- Aocl : A Pure-Java Constraint and Transformation Language for MDEDon S. Batory, Najd Altoyan. 319-327 [doi]
- A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based TestingLiqun Wu, Axel Hahn. 328-335 [doi]
- A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application LevelLars Huning, Padma Iyenghar, Elke Pulvermüller. 336-343 [doi]
- An Architecture-independent Data Model for Managing Information Generated by Human-chatbot InteractionsMassimiliano Luca, Alberto Montresor, Carlo Caprini, Daniele Miorandi. 344-351 [doi]
- CLARVA: Model-based Residual Verification of Java ProgramsShaun Azzopardi, Christian Colombo, Gordon J. Pace. 352-359 [doi]
- Correctness of an ATL Model Transformation from SysML State Machine Diagrams to PromelaGeorgiana Caltais, Stefan Leue, Hargurbir Singh. 360-372 [doi]
- Impact of Security Measures on Performance Aspects in SysML ModelsMaysam Zoor, Ludovic Apvrille, Renaud Pacalet. 373-380 [doi]
- A Generic Projectional Editor for EMF ModelsJohannes Schröpfer, Thomas Buchmann, Bernhard Westfechtel. 381-392 [doi]
- Multi-level Modeling without Classical Modeling FacilitiesFerenc A. Somogyi, Zoltán Theisz, Sándor Bácsi, Gergely Mezei, Dániel Palatinszky. 393-400 [doi]
- Operator-based Viewpoint DefinitionJohannes Meier, Ruthbetha Kateule, Andreas Winter 0001. 401-408 [doi]
- Defining Referential Integrity Constraints in Graph-oriented DatastoresThibaud Masson, Romain Ravet, Francisco Javier Bermudez Ruiz, Souhaila Serbout, Diego Sevilla Ruiz, Anthony Cleve. 409-416 [doi]
- ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual ModelKnut Hinkelmann, Emanuele Laurenzi, Andreas Martin, Devid Montecchiari, Maja Spahic, Barbara Thönssen. 417-424 [doi]
- Refining Automation System Control with MDEPascal André, Mohammed El Amin Tebib. 425-432 [doi]
- Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial ContextChristophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez. 433-440 [doi]
- Towards Metrics for Analyzing System Architectures Modeled with EAST-ADLChristoph Etzel, Florian Hofhammer, Bernhard Bauer. 441-448 [doi]
- Concept-based Co-migration of Test CasesIvan Jovanovikj, Enes Yigitbas, Stefan Sauer 0001, Gregor Engels. 449-456 [doi]
- Towards a Generalized Queuing Network Model for Self-adaptive Software SystemsDavide Arcelli. 457-464 [doi]
- On a Metasemantic Protocol for Modeling Language ExtensionEd Seidewitz. 465-472 [doi]