The foundations of specification

Journal of Logic and Computation

Volumn 15, Issue 5, 2005, Pages 625-662

  Turner, Raymond ^a  

^a UNIVERSITY OF ESSEX   (United Kingdom)

Author keywords

Conservative extensions; Scheme; Specification

Indexed keywords

NUMERICAL ANALYSIS;

CONSERVATIVE EXTENSIONS; SCHEME; SPECIFICATION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 26444442403     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi052     Document Type: Article

References (32)

1. J. R. Abrial. The B-Book. Cambridge University Press, Cambridge 1996.
2. H. P. Barendregt. Lambda calculus with types. In Handbook of Logic in Computer Science, S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, eds., pp. 118-310. Oxford University Press, 1992.
3. J. Barwise. Admissible Sets and Structures. Springer Verlag. Berlin. 1975.
4. A. Blikle. Three-valued predicates for software specification and validation. In VDM'88 VDM - The Way Ahead, pp. 243-266. Springer-Verlag, 1988.
5. S. M. Brien and J. E. Nicholls. Z Based Standard Version 1.0, Oxford University Computing Laboratory. PRO 107, 1992.
6. J. H. Cheng and C. P. Jones. On the usability of logics which handle partial functions. In Proceedings of the Third Refinement Workshop, Springer-Verlag, 1990.
7. J. Dawes. The VDM-SL Reference Guide. Pitman. 1991.
8. A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, 1990.
9. P. F. Gibbins. VDM: Axiomatising its propositional logic. BCS Computer Journal, 31, 510-516, 1988.
10. M. Henson and S. Reeves. Revising Z -I semantics and logic. Journal of Formal Aspects of Computing, 11, 359-380, 1999.
11. M. Henson and S. Reeves. Revising Z -II Logical Development. Journal of Formal Aspects of Computing, 11, 381-401, 1999.
12. W. Hodges. The Semantics of Specification Languages. Queen Mary College, London. 1990
13. C. B. Jones and C. A. Middleburg. A typed Logic of partial functions reconstructed classically. Acta Informatica, 31, 399-430, 1994.
14. C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, Hemel Hemstead, 1986.
15. M. Kooij. Interface specification with temporal logic. Proc. 5th International Workshop on Software Specification and Design, pp. 104-110, May 1989.
16. P. G. Larson and W. Pawlowski. The formal semantics of ISO VDM-SL. The Journal of Computer Standards and Interfaces, 1995.
17. T. S. E. Maibaum and W. M. Turski. The Specification of Computer Programs. Addison Wesley. 1987.
18. R. Milne. The proof theory of the Raise specification language. Technical report. Raise/STC/REM/12/V3. England. 1990.
19. K. Middelburg. The logical semantics of flat VVSL. Technical Report, Neher Laboratories, Number 954 RNL/89, December 1989.
20. R. Moore. and B. Ritchie. Proof in VDM-A practitioners Guide, FACIT, Springer Verlag, ISBN 3-540-19813-X, 1994.
21. J. E. Nicholls, ed. Z-Notation version 1.2, 1995.
22. S. Owre, J. Rushby, S. Natarajan and F. Von Henke. Formal verification of fault tolerant architecture: Prolegomena to the design of PVS, IEEE Transactions of Software Engineering, 21, 107-125, 1995.
23. S. Owre and S. Natarajan. The formal semantics of PVS. NASA/CR-1999-209321, May 1999.
24. B. Potter, S. Sinclair and D. Till. An Introduction to formal Specification and Z. Prentice Hall, 1991.
25. V. Y. Sazonov. On bounded set theory, Invited Talk on the 10 international, Congress on Logic, Methodogogy and Philosophy of Science, Florence, August 1995. In Volume 1: Logic and Scientific Method, pp. 85-103. Kluwer Academic Publishers, 1997.
26. J. M. Spivey. Understanding Z. Cambridge University Press, 1988.
27. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1992.
28. G. Struth. A calculus for set-based program development. Part 1: mathematical foundations. Report 2003-15. 2003. Institut Fur Infromatik. D-86135 Augsburg.
29. A. Tarlecki, B. Konikowska and A. Blikle. A three-valued logic for software specification and validation. In VDM'88 VDM - The Way Ahead, pp. 218-242. Springer-Verlag, September 1988.
30. P. A. S. Veloso and S. R. M. Veloso. On methods for safe introduction of operations. Information Processing Letters, 64, 231-128, 1997.
31. J. Woodcock and S. M. Brien. W: a logic for Z. In Z Users Workshop, York, 1991, Proceedings of Sixth Annual ℤ User Meeting, J. E. Nicholls, ed. Springer Verlag, 1992.
32. J. Woodcock and J. Davies. Using Z- Specifications, Refinement and Proof. Prentice Hall, 1996.