1 Hit in 3.8 sec

Tools for specifying real-time systems

Giacomo Bucci, Maurizio Campanai, Paolo Nesi
1995 Real-time systems  
In this paper, the evolution and the state of the art of tools for real-time software specification is reported, by analyzing their development over the last 20 years.  ...  The analysis is carried out in a comparative manner; a synthetic comparison is presented in the final discussion where the trend of teclmology improvement is also analyzed.  ...  Acknowledgments The authors want to thank CESVIT (High-Tech Agency, Italy) which allowed them to test most of the tools mentioned in this paper (StP of Interactive Development Environments, ARTIFEX of  ... 
doi:10.1007/bf01094341 fatcat:wmjlzjkegbb2bgi7twtlxffqnq