Browsing Høgskulen på Vestlandet by Journals "Formal Aspects of Computing"
Now showing items 1-1 of 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 ...