A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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