Blar i HVL Open på tidsskrift "Formal Aspects of Computing"
Viser treff 1-1 av 1
-
Comprehensive systems: a formal foundation for multi-model consistency management
(Peer reviewed; Journal article, 2021)Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot ...