Unit 5: Aggregation and Inheritance - Imperial College London
Unit 5: Aggregation and Inheritance Aims and Objectives This unit aims to: Define the specification in Object-Z of more elaborated object-oriented systems built upon Objects aggregation Inheritance Illustrate these aspects by considering the example of a banking