Object Oriented Programming in Eiffel

About

Features

• The object-oriented approach is described in the first three chapters, to provide a gentle introduction to programming in Eiffel.

• A small system is designed and coded to illustrate the Eiffel language.

• The design of object-oriented systems is a central issue in the text.

• Design principles are state and illustrated throughout.

• A unifying framework is used for design, called system structure, this clearly separates functional, procedural, and object structure, and shows how they interact in design.

• The Eiffel language is covered in the first part of the book, the second part covers the assertion language.

• The third part of the book is an extended case study - as each topic is covered, the case study is extended to illustrate its use in a large and changing pattern.

Description

Providing an easy-to-understand introduction to programming in the Eiffel language, this book details logical assertions and the design of object oriented systems. KEY TOPICS: Covers basic Eiffel language programming in the first part of the book; the second part covers the assertion language. Employs a large case study to illustrate each topic in a realistic system, and shows how Eiffel supports and requires code re-use. Object-Oriented Series, Bertrand Meyer editor. MARKET: For Eiffel language programmers and non object oriented programmers.

Sample Content

Table of Contents

 1. Object-Oriented Software.


 2. Reusable Software.


 3. System Design.


 4. Data Flow.


 5. Routines.


 6. Control Flow.


 7. Designing for Reuse.


 8. Data Structures.


 9. Single Inheritance.


10. Polymorphism.


11. Complex Inheritance.


12. Programming by Contract.


13. Assertions on Routines.


14. Assertions Inside Routines.


15. Assertions on Classes.


16. Assertions and Inheritance.


17. Exceptions.


Part 1: A Class.


Part 2: A System.


Part 3: Selection and Iteration.


Part 4: Data Structures.


Part 5: Single Inheritance.


Part 6: Polymorphism.


Part 7: Complex Inheritance.


Part 8: The Complete BANK System.


Appendix A: Eiffel Syntax.


Appendix B: Reserved Words, Special Characters, Operators.


Appendix C: Charts.


Appendix D: Design Principles.


Appendix E: Run-Time Assertion Monitoring.

Updates

Submit Errata