Continuous Maintenance of Multiple Abstraction Levels in Program Code

In: Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - FTMDD 2010, Funchal, Portugal / Ferreira Pires, Luís; Hammoudi, Slimane (Hrsg.)
SciTePress (2010), S. 68-79
ISBN: 978-989-8425-10-2
Buchaufsatz / Kapitel / Fach: Informatik
During development of software systems multiple notations are in use to describe requirements, design, source code, run time traces, and more. These notations usually have different purposes and semantics so that it is difficult to keep information consistent during development. In this position paper we propose an alternative approach to model-driven software development that enhances program code with abstract specification information. Thus the program code can be considered at different views for design, verification, execution, and monitoring, while information of interest is continuously available in a coherent notation.