A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
A framework for evaluating specification methods for reactive systems-experience report
1996
IEEE Transactions on Software Engineering
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences between the methods are hard to determine, choosing the best method for a particular application can be difficult. We have applied several different methods, including Modechart, VFSM, ESTEREL, Basic LOTOS, Z, SDL and C, to an application problem encountered in the design of software for AT&T's 5ESS R telephone switching system. We have developed a set of criteria
doi:10.1109/32.508312
fatcat:ddzfqvhyi5dydaw5wcncxlhwta