Title :
Property-Preserving Reuse-Geared Approach to Model-Driven Development
Author :
Vardanega, Tullio
Author_Institution :
Dept. of Pure & Appl. Math., Univ. of Padua
Abstract :
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
Keywords :
formal specification; real-time systems; software reusability; high-integrity real-time system specification; property-preserving reuse-geared approach; reuse-driven model-driven development; Aging; Application software; Computer architecture; Context modeling; Mathematical model; Mathematics; Object oriented modeling; Programming; Real time systems; Software reusability;
Conference_Titel :
Embedded and Real-Time Computing Systems and Applications, 2006. Proceedings. 12th IEEE International Conference on
Conference_Location :
Sydney, Qld.
Print_ISBN :
0-7695-2676-4
DOI :
10.1109/RTCSA.2006.53
