Design tools for requirements engineering
- 14 August 2002
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Bell Labs Technical Journal
- Vol. 2 (1) , 86-95
- https://doi.org/10.1002/bltj.2034
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Principles and methods of testing finite state machines-a surveyProceedings of the IEEE, 1996
- Formal methods for early fault detectionPublished by Springer Nature ,1996
- An Algebraic Semantics of Basic Message Sequence ChartsThe Computer Journal, 1994
- A technique for drawing directed graphsIEEE Transactions on Software Engineering, 1993