This chapter will give an overview of the stages and steps typically performed in formal object-oriented development. It will introduce elements of the Z++ and VDM++ languages, and use these to illustrate the “layered development paradigm” which forms the basis of the development process given here. The roles of subtyping, inheritance and refinement will be identified and distinguished. Intuitive definitions of these concepts will be given. Detailed explanations of the concepts introduced in this chapter will be given in later chapters.


Mathematical Notation Operation Model Proof Obligation Software Development Process Instance Variable 
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 1995

Authors and Affiliations

  • Kevin Lano
    • 1
  1. 1.Department of ComputingImperial College of Science, Technology and MedicineLondonUK

Personalised recommendations