Model-driven engineering and software development 8th international conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	MODELSWARD (VerfasserIn)
Weitere Verfasser:	Hammoudi, Slimane (HerausgeberIn), Pires, Luís Ferreira (HerausgeberIn), Selić, Bran (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Communications in computer and information science 1361
Schlagworte:	Konferenzschrift > Modellgetriebene Entwicklung > Entwurfssprache
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
ProvAnalyser: A Framework for Scientific Workflows Provenance	2021	Butt, Anila Sahar
Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper	2021	Kapferer, Stefan
Model-Based Static and Runtime Verification for Ethereum Smart Contracts	2021	Azzopardi, Shaun
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems	2021	Oudart, David
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications	2021	Bornebusch, Fritjof
Augmenting Deep Neural Networks with Scenario-Based Guard Rules	2021	Katz, Guy
Model Transformation from CBM to EPL Rules to Detect Failure Symptoms	2021	Sarazin, Alexandre
Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios	2021	Pröll, Reinhard
A Methodological Assistant for UML and SysML Use Case Diagrams	2021	Aquino, Erika Rizzo
A Novel Family of Queuing Network Models for Self-adaptive Systems	2021	Arcelli, Davide
Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems	2021	lyenghar, Padma
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices	2021	Genius, Daniela
A Multi-Model Reviewing Approach for Production Systems Engineering Models	2021	Rinker, Felix
Resilient Business Process Modeling and Execution Using BPMN and Microservice	2021	Nordemann, Frank
Verification and Simulation of Time-Domain Properties for Models of Behaviour	2021	Carrillo, Miguel