The Software Development Process
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.
KeywordsMathematical Notation Operation Model Proof Obligation Software Development Process Instance Variable
Unable to display preview. Download preview PDF.