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.


Eter Rounded Aliasing Subsys 


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