Now showing items 1-10 of 12
Model-Driven Development of Heterogeneous Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming more prevalent for the reliable execution of critical tasks, e.g., in the aerospace and medical fields. The development of such systems is challenging, due to the heterogeneity of ...
Towards Interactive Learning for Model-based Software Engineering
Model-based technologies improve the efficiency of the design and development of IT systems by making it possible to automate verification, code generation and system analysis based on a formal model. A simple way of ...