Four dark corners of requirements engineering
- 1 January 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 6 (1) , 1-30
- https://doi.org/10.1145/237432.237434
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Functional documents for computer systemsScience of Computer Programming, 1995
- Structuring Z specifications with viewsACM Transactions on Software Engineering and Methodology, 1995
- Conjunction as compositionACM Transactions on Software Engineering and Methodology, 1993
- A simple approach to specifying concurrent systemsCommunications of the ACM, 1989
- A field study of the software design process for large systemsCommunications of the ACM, 1988
- Time considered irrelevant for real-time systemsBIT Numerical Mathematics, 1988
- Recognizing safety and livenessDistributed Computing, 1987
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Language support for the specification and development of composite systemsACM Transactions on Programming Languages and Systems, 1987
- On the inevitable intertwining of specification and implementationCommunications of the ACM, 1982