Towards Consistency Checking Between a System Model and Its Implementation

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ICSMM (1. : 2020 : Bergen, Norwegen) Systems modelling and management
1. Verfasser:	Jongeling, Robbert (VerfasserIn)
Weitere Verfasser:	Fredriksson, Johan (VerfasserIn), Ciccozzi, Federico (VerfasserIn), Cicchetti, Antonio (VerfasserIn), Carlson, Jan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems	2020	Land, Kathrin
Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems	2020	Acker, Bert Van
A Model-Driven Mutation Framework for Validation of Test Case Migration	2020	Jovanovikj, Ivan
On the Replicability of Experimental Tool Evaluations in Model-Based Development: Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink	2020	Boll, Alexander
GrapeL: Combining Graph Pattern Matching and Complex Event Processing	2020	Ehmes, Sebastian
Reusable Data Visualization Patterns for Clinical Practice	2020	Rabbi, Fazle
A Model Based Slicing Technique for Process Mining Healthcare Information	2020	Rabbi, Fazle
Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management	2020	Torres, Weslley
Towards Consistency Checking Between a System Model and Its Implementation	2020	Jongeling, Robbert
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges	2020	Bordeleau, Francis
Industrial Plant Topology Models to Facilitate Automation Engineering	2020	Koziolek, Heiko
Exploring Validity Frames in Practice	2020	Mierlo, Simon Van
Simplified View Generation in a Deep View-Based Modeling Environment	2020	Lange, Arne