Register your product to gain access to bonus material or receive a coupon.
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.
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.