Heterogeneous Notations for Pure Formal Method Integration Journal Articles

abstract

• Abstract. 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.

authors

• Paige, Richard

status

• published 

publication date

• March 1998

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 0803 Computer Software (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Formal Aspects of Computing  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1007/s001650050013

start page

• 233

end page

• 242

volume

• 10

issue

• 3