Property-Preserving Reuse-Geared Approach to Model-Driven Development
Tullio Vardanega · 2006
In this short paper we illustrate a novel approach that aims to marry reuse-driven and model-driven development principles with engineering considerations of great concern to high-integrity real-time systems, for which the specification of properties to be preserved at run time is paramount