Termination and expressiveness of execution strategies for networks of bidirectional model transformations
H Klare, J Gleitze - Formal Aspects of Computing, 2023 - dl.acm.org
When developers describe a software system with multiple models, such as architecture
diagrams, deployment descriptions, and source code, these models must represent the …
diagrams, deployment descriptions, and source code, these models must represent the …
[PDF][PDF] Fault-Tolerant Consistency Management in Model-Driven Engineering
N Weidmann - 2021 - d-nb.info
Abstract Models play an important role in nowadays' software engineering processes,
providing stakeholders with a suitable level of abstraction for specifying software systems …
providing stakeholders with a suitable level of abstraction for specifying software systems …