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.


Entity Type Proof Obligation Lift System Entity Instance Speed Control System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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