Author:
Gaskell Craig,Phillips Roger
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. Burns and J. A. Kirkham. The construction of information management system prototypes in ada. Software — Practice and Experience, 16(4):341–350, April 1986.
2. T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1978.
3. M. D. Fraser, K. Kumar, and V. K. Vaishnavi. Informal and formal requirements specification languages: Bridging the gap. IEEE Transactions On Software Engineering, 17(5):454–466, May 1991.
4. N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323–334, September 1992.
5. C. Gaskell and R. Phillips. A graphical formalism for executable specification. Technical Report 92/15, Department of Computer Science, University of Hull, May 1992.