Title :
Reusing temporal properties of real-time software
Author_Institution :
Naples Univ., Italy
Abstract :
This paper is concerned with the deterministic prediction and the reuse of temporal properties of higher order language real-time applications. It proposes a method to draw out, save, instantiate to specific hard/soft environments and finally to reuse temporal properties of software applications. The conceptual organization of a tool to support such a proposal is shown
Keywords :
real-time systems; software reusability; temporal logic; deterministic prediction; higher order language real-time applications; real-time software; temporal properties reusing;
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
