Continuous Maintenance of Multiple Abstraction Levels in Program Code
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.
Dieser Eintrag ist freigegeben.