Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. B. Cohen, W. T. Harwood, M. I. Jackson: The Specification of Complex Systems, Addison-Wesley Publishing Company (1986)
2. M. S. Feather: Program specification applied to a text formatter, IEEE Trans. Software Eng., Vol SE-8, No. 9, September (1982) 490–498
3. B. H. Liskov, V. Berzins: An appraisal of program specifications, Research Directions in Software Technology, P. Wegner (edn.), MIT Press, (1979) 276–301
4. B. W. Boehm: Verifying and validating software requirements and design specification, IEEE Software, Vol 1, No. 1, January (1984) 75–88
5. A. W. Appel: Modern Compiler Implementation in Java, Cambridge University Press (1998)