Heterogeneous Notations for Pure Formal Method Integration

Formal Aspects of Computing

Volumn 10, Issue 3, 1998, Pages 233-242

  Paige, Richard F ^a,b  

^a UNIVERSITY OF TORONTO   (Canada)

^b YORK UNIVERSITY   (Canada)

Author keywords

Heterogeneous specification; Method integration; Refinement

Indexed keywords

CALCULATIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; FORMAL SPECIFICATION; INTEGRATION; SPECIFICATIONS;

ALGORITHM REFINEMENT; INTEGRATED FORMAL METHODS; METHOD INTEGRATION; REFINEMENT; REFINEMENT CALCULI;

FORMAL METHODS;

EID: 0005339186     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050013     Document Type: Article

References (20)

1. Biccaregui, J., Dick, J. and Woods, E.: Quantitative Analysis of an Application of Formal Methods. In Proc. Formal Methods Europe '96, Springer-Verlag, 1996.
2. Bowen, J. and Hinchey, M.: Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994.
3. Fidge, C.: Adding real time to formal program development. In Proc. Formal Methods Europe '94, LNCS 873, Springer-Verlag, 1994.
4. Hall, A.: Using Formal Methods to Develop an ATC Information System. IEEE Software. March 1996.
5. Hehner, E. C. R.: A Practical Theory of Programming, Springer-Verlag, 1993.
6. Hehner, E. C. R. and Malton, A. J.: Termination Conventions and Comparative Semantics. Acta Informatica, 25 (1988).
7. Jackson, M. A.: Software Requirements and Specifications, Addison-Wesley, 1995.
8. King, S.: Z and the refinement calculus. In Proc. VDM '90, LNCS 428, Springer-Verlag, 1990.
9. Kronlöf, K.: ed.: Method Integration: Concepts and Case Studies, Wiley, 1993.
10. Morgan, C. C.: Programming from Specifications, Prentice-Hall, Second Edition, 1994.
11. Morris, J.: Piecewise data refinement. In Formal Development of Programs and Proofs, Addison-Wesley, 1990.
12. Paige, R. F.: Formal Method Integration via Heterogeneous Notations, PhD dissertation, University of Toronto, November 1997.
13. Paige, R. F.: A Meta-Method for Formal Method Integration. In Proc. Formal Methods Europe '97, LNCS 1313, Springer-Verlag, September 1997.
14. Paige, R. F.: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. In Proc. ZUM '98, LNCS 1493, Springer-Verlag, September 1998.
15. Paige, R. F.: Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing http://www.cs.man.ac.uk/fmethods/fac/index.html
16. Semmens, L. T., France, R. B. and Docker, T. W.: Integrated Structured Analysis and Formal Specification Techniques. The Computer Journal 35(6), June 1992.
17. Spivey, J. M.: The Z Notation A Reference Manual. Prentice-Hall, 1989.
18. Ward. N : Adding specification constructors to the refinement calculus. In Proc. Formal Methods Europe '93. LNCS 670, Springer-Verlag, 1993.
19. Zave, P and Jackson M.: Where do operations come from? An approach to multiparadigm specification. IEEE Trans. Software Engineering, 12(7), July 1996.
20. Zave, P. and Mataga, P.: A formal specification of some important 5ESS features, Part I: Overview. AT&T Bell Laboratories Technical Memorandum, October 1993.