Title | ||
---|---|---|
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. |
Abstract | ||
---|---|---|
Abstract 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 , telephone switching system. We have developed a set of criteria for evaluating and comparing,the different specification methods. We argue that the evaluation of a method,must take into account not only academic concerns, but also the maturity of the method, its compatibility with the The author was supported by a Fulbright fellowship at the University of Texas at Austin. The |
Year | DOI | Venue |
---|---|---|
1996 | 10.1109/32.508312 | IEEE Trans. Software Eng. |
Keywords | DocType | Volume |
formal specifications,formal methods,software design,c,application software,telephony,software development process,programming,formal specification,protocols,reactive systems,design methodology,system testing,reactive system,technology assessment | Journal | 22 |
Issue | ISSN | ISBN |
6 | 0098-5589 | 0-89791-708-1 |
Citations | PageRank | References |
20 | 3.04 | 19 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark A. Ardis | 1 | 194 | 39.34 |
John A. Chaves | 2 | 37 | 8.79 |
Lalita Jategaonkar Jagadeesan | 3 | 286 | 29.80 |
Peter Mataga | 4 | 118 | 10.54 |
Carlos Puchol | 5 | 138 | 18.65 |
Mark G. Staskauskas | 6 | 35 | 4.88 |
James E. Von Olnhausen | 7 | 104 | 11.05 |