Model transformation and property preservation in rigorous software development: A systematic literature review

• Published in: The Journal of systems and software Vol. 230; p. 112508
• Main Authors: Jadoon, Gullelala, ter Beek, Maurice H., Ferrari, Alessio
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.12.2025
• Subjects: Model transformation; Non-functional properties; Property preservation; Software modeling; Survey study; Model transformation; Software modeling; Non-functional properties; Property preservation; Survey study

Rigorous software development involves using highly structured methods and processes in software and system engineering to ensure that the developed products are correct, reliable, and robust. In this context, model-driven development (MDD) has emerged as a development paradigm that emphasizes desig...