Design tools for requirements engineering

Bell Labs Technical Journal

Volumn 2, Issue 1, 1997, Pages 86-95

  Holzmann, Gerard J ^a,b   Peled, Doron A ^a,c,d   Redberg, Margaret H ^e  

^a LUCENT TECHNOLOGIES   (United States)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^d UNIVERSITY OF WARWICK   (United Kingdom)

^e NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE;

MESSAGE SEQUENCE CHARTS (MSC); REQUIREMENTS ENGINEERING;

COMPUTER SOFTWARE;

EID: 0031538394     PISSN: 10897089     EISSN: None     Source Type: Journal    
DOI: 10.1002/bltj.2034     Document Type: Article

References (11)

1. R. Alur, G. J. Holzmann, and D. Peled, "An Analyzer for Message Sequence Charts," Software Concepts and Tools, Vol. 17, No. 2, Feb. 1996, pp. 70-77.
2. G. J. Holzmann, "Early Fault Detection Tools," Software Concepts and Tools, Vol. 17, No. 2, Feb. 1996, pp. 63-69.
3. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993. (This recommendation includes S. Mauw and M. A. Reniers, "An algebraic semantics of basic MSCs," Annex B, The Computer Journal, Vol. 37, No. 4, Apr. 1994, pp. 269-277.)
4. ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993. (This recommendation includes S. Mauw and M. A. Reniers, "An algebraic semantics of basic MSCs," Annex B, The Computer Journal, Vol. 37, No. 4, Apr. 1994, pp. 269-277.)
5. G. J. Holzmann, "Formal Methods for Early Fault Detection," Proceedings of Formal Techniques for Real-Time and Fault Tolerant Systems, Uppsala, Sweden, Sept. 1996, Lecture Notes in Computer Science, Vol. 1135, pp. 40-54.
6. V. Levin and D. Peled, "Verification of Message Sequence Charts via Template Matching," Theory and Practice of Software Development, Lecture Notes in Computer Science, TAPSOFT (FASE) '97, Springer-Verlag, Lille, France, 1997, to be published.
7. J. Ousterhout, Tcl and the Tk toolkit, Addison-Wesley, Reading, Massachusetts, 1994.
8. R. P. Kurshan, Computer-Aided Verification, Princeton Univ. Press, Princeton, New Jersey, 1994.
9. T. H. Cormen, C. E. Leierson, and R. L. Rivers, Introduction to Algorithms, MIT Press, Cambridge, Massachusetts, 1990.
10. E. R. Gansner, E. Koutsofios, S. C. North, and K-P. Vo, "A Technique for Drawing Directed Graphs," IEEE Transactions on Software Engineering, Vol. 19, No. 3, May 1993, pp. 214-230.
11. D. Lee and M. Yannakakis, "Principles and Methods of Testing Finite State Machines - A Survey," Proceedings of the IEEE, Vol. 84, No. 8, Aug. 1996, pp. 1090-1123.