Formal Aspects of Computing

, Volume 10, Issue 3, pp 233–242 | Cite as

Heterogeneous Notations for Pure Formal Method Integration

  • Richard F. Paige
Original Paper


We outline an extendible approach for combining formal methods – such as Z, Morgan's refinement calculus, and predicative programming – based on composing specifications written in similar formal languages. We discuss how algorithm refinement can be extended to such a setting, and outline some examples of using integrated formal methods. We also provide justifications for why using combinations of similar methods might be helpful.

Keywords: Method integration; Heterogeneous specification; Refinement 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Supplementary material

165_2005_80100233_MOESM1_ESM.pdf (146 kb)
Supplementary material, approximately 145 KB.

Copyright information

© BCS 1998

Authors and Affiliations

  • Richard F. Paige
    • 1
  1. 1.Department of Computer Science, University of Toronto, Toronto, Ontario, CanadaCA

Personalised recommendations