default search action
8th MODELSWARD 2020: Valletta, Malta
- Slimane Hammoudi, Luís Ferreira Pires, Bran Selic:
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. SCITEPRESS 2020, ISBN 978-989-758-400-8
Invited Speakers
- Giancarlo Guizzardi:
Conceptual Models as Ontological Contracts. MODELSWARD 2020: 5 - Gail C. Murphy:
The Need for Context in Software Engineering. MODELSWARD 2020: 7 - Sébastien Gérard:
About Synergies between Model-based Engineering and Artificial Intelligence. MODELSWARD 2020: 9
Methodologies, Processes and Platforms
- David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
:
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. 15-25 - Padma Iyenghar, Lars Huning, Elke Pulvermüller:
Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems. 26-38 - Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Integer Overflow Detection in Hardware Designs at the Specification Level. 41-48 - Surafel Demissie
Improving Multi-domain Stakeholder Communication of Embedded Safety-critical Development using Agile Practices: Expert Review. 49-56 - Sven Jacobitz
The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering. 57-64 - Hadjer Khider, Slimane Hammoudi, Abdelkrim Meziane:
Business Process Model Recommendation as a Transformation Process in MDE: Conceptualization and First Experiments. 65-75 - Karima Berramla, El Abbassia Deba, Jiechen Wu, Houari A. Sahraoui, Abou El Hassan Benyamina:
Model Transformation by Example with Statistical Machine Translation. 76-83 - Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin:
High-level Partitioning and Design Space Exploration for Cyber Physical Systems. 84-91 - Mateusz Kikolski:
Determination of ISO 22400 Key Performance Indicators using Simulation Models: The Concept and Methodology. 92-99
Applications and Software Development
- Anila Sahar Butt, Nicholas J. Car
Towards Ontology Driven Provenance in Scientific Workflow Engine. 105-115 - Felix Rinker
Graph-based Model Inspection Tool for Multi-disciplinary Production Systems Engineering. 116-125 - Guy Katz:
Guarded Deep Learning using Scenario-based Modeling. 126-136 - Omar Masmali, Omar Badreddin:
Towards a Model-based Fuzzy Software Quality Metrics. 139-148 - Mohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery
Development of Health Software using Behaviour Driven Development - BDD. 149-157 - Saeko Matsuura, Sae Ikeda, Kasumi Yokotae:
Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. 158-166 - Said Daoudagh
Defining Controlled Experiments Inside the Access Control Environment. 167-176
Modeling Languages, Tools and Architectures
- Frank Nordemann, Ralf Tönjes, Elke Pulvermüller:
Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments. 181-192 - Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Themulus: A Timed Contract-calculus. 193-204 - Alexandre Sarazin, Sébastien Truptil
Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive Maintenance. 205-215 - Noël Hagemann, Reinhard Pröll, Bernhard Bauer:
Towards Abstract Test Execution in Early Stages of Model-driven Software Development. 216-226 - Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds:
A Methodological Assistant for Use Case Diagrams. 227-236 - Shaun Azzopardi, Christian Colombo, Gordon J. Pace
A Technique for Automata-based Verification with Residual Reasoning. 237-248 - Hao Wu
Verifying OCL Operational Contracts via SMT-based Synthesising. 249-259 - Kevin Lano, Shichao Fang:
Automated Synthesis of ATL Transformations from Metamodel Correspondences. 263-270 - Walmir Oliveira Couto, Emerson Cordeiro Morais, Marcos Didonet Del Fabro:
Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons. 271-278 - Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas:
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. 279-286 - Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth:
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. 287-298 - Stefan Kapferer, Olaf Zimmermann:
Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling. 299-306 - Joachim Fischer, Birger Møller-Pedersen, Andreas Prinz:
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. 307-318 - Don S. Batory, Najd Altoyan:
Aocl : A Pure-Java Constraint and Transformation Language for MDE. 319-327 - Liqun Wu, Axel Hahn:
A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based Testing. 328-335 - Lars Huning, Padma Iyenghar, Elke Pulvermüller:
A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level. 336-343 - Massimiliano Luca, Alberto Montresor, Carlo Caprini, Daniele Miorandi:
An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions. 344-351 - Shaun Azzopardi, Christian Colombo, Gordon J. Pace
CLARVA: Model-based Residual Verification of Java Programs. 352-359 - Georgiana Caltais, Stefan Leue, Hargurbir Singh:
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. 360-372 - Maysam Zoor
Impact of Security Measures on Performance Aspects in SysML Models. 373-380 - Johannes Schröpfer, Thomas Buchmann, Bernhard Westfechtel:
A Generic Projectional Editor for EMF Models. 381-392 - Ferenc Attila Somogyi
Multi-level Modeling without Classical Modeling Facilities. 393-400 - Johannes Meier, Ruthbetha Kateule, Andreas Winter:
Operator-based Viewpoint Definition. 401-408 - Thibaud Masson, Romain Ravet, Francisco Javier Bermudez Ruiz, Souhaila Serbout
Defining Referential Integrity Constraints in Graph-oriented Datastores. 409-416 - Knut Hinkelmann, Emanuele Laurenzi
ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model. 417-424 - Pascal André, Mohammed El Amin Tebib:
Refining Automation System Control with MDE. 425-432 - Christophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez
Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context. 433-440 - Christoph Etzel, Florian Hofhammer
Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL. 441-448 - Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer, Gregor Engels:
Concept-based Co-migration of Test Cases. 449-456 - Davide Arcelli
Towards a Generalized Queuing Network Model for Self-adaptive Software Systems. 457-464 - Ed Seidewitz:
On a Metasemantic Protocol for Modeling Language Extension. 465-472
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-02-20 00:33 CET 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: