[HTML][HTML] Enabling consistency in view-based system development—the vitruvius approach

H Klare, ME Kramer, M Langhammer, D Werle… - Journal of Systems and …, 2021 - Elsevier
During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

Multi-model consistency preservation

H Klare - Proceedings of the 21st ACM/IEEE International …, 2018 - dl.acm.org
Modern software systems are developed using multiple models to represent different
properties of the system. Since these models contain dependent information, kee** them …

Automotive systems modelling with vitruvius

Model-driven technologies are widely used in the development of systems in the automotive
domain. Although modelling tools and code generation increase the development speed …

[BOOK][B] A Formal Approach to Prove Compatibility in Transformation Networks

H Klare, A Pepin, E Burger, R Reussner - 2020 - scholar.archive.org
The increasing complexity of software and cyberphysical systems is handled by dividing the
description of the system under construction into different models or views, each with an …

Integrating semantically-related legacy models in vitruvius

M Mazkatli, E Burger, J Quante, A Koziolek - Proceedings of the 10th …, 2018 - dl.acm.org
The development of software-intensive systems, such as automotive systems, is becoming
more and more complex. To cope with this complexity, the developers use several modelling …

[PDF][PDF] The Journal of Systems & Software

H Klare, ME Kramer, M Langhammer, D Werle… - 2020 - academia.edu
abstract During the development of large software-intensive systems, developers use
several modeling languages and tools to describe a system from different viewpoints. Model …

[CITATION][C] Automotive Systems Modelling with Vitruvius

MMEBA Koziolek, RH Reussner