This section of the text shows the progressive development of a banking system, from one very small class to the final solution of 16 classes that use almost every part of the Eiffel language. Each chapter of the text (except the last two) has a corresponding case study section, to show how the language constructs in that chapter are used in a working system. Each solution builds on the previous solution, and shows the new or chnaged code in the extended solution. The final part of the case study presents the full problem specification and solution.

        The sections of the case study are 

Part 1: Look and feel.

Part 2: Data flow.

Part 3: Routines

Part 4: Objects

Part 5: Behaviour

Part 6: Selection.

Part 7: Repetition.

Part 8: Arrays.

Part 9: Lists.

Part 10: Inheritance.

Part 11: Polymorphism.

Part 12: Complex inheritance.

Part 13: Constrained genericity.

Part 14: The complete BANK system.

  

Each section of the case study has the following format:

1.    Specification.

2.    Analysis.

3.    Design.

4.    Charts: one or more of client, inheritance, and class diagrams.

5.    Eiffel code that is new or changed in that section.

         Each section of the case study has a directory on the SoCS computer system, so the full, working code for each section can be examined and executed. The text and executable files can be seen and run in the directory

        /pub/psda/oopie 

Each directory contains the following files:

1.     Specification.

2.     Ace.

3.     Eiffel text files.

4.     Eiffel executable file, named bank.

5.     A sample run of the system.