Integrating Formal and Structured Methods in Object-Oriented System Development

  • S. J. Goldsack
  • S. J. H. Kent
Part of the Formal Approaches to Computing and Information Technology book series (FACIT)


This chapter describes systematic approaches for the formalisation and refinement of domain and analysis models, expressed in the OMT notation of Rumbaugh [Rumbaugh et al., 1991], in the B Abstract Machine Notation (AMN) [Abrial, 1995 to appear] and the Z formal language [Spivey, 1992]. Whilst B provides a method and tool support for fully formal development from specifications to (3rd generation language) code, the main support for validating specifications against requirements which it provides is via animation. Similar, although more limited, support can be provided for Z.


Assure Hull Dock Att1 Entity 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1996

Authors and Affiliations

  • S. J. Goldsack
    • 1
  • S. J. H. Kent
    • 2
  1. 1.Department of Computing, Technology and MedicineImperial College of ScienceLondonUK
  2. 2.Department of ComputingUniversity of BrightonBrightonUK

Personalised recommendations