Object-Oriented Programming in Eiffel
2nd Edition
Published on 12. December 1997
Book
Paperback/Softback
720 pages
978-0-201-33131-8 (ISBN)
Description
The complete tutorial guide to object-oriented programming techniques in Eiffel, emphasising how its unique approach to `programming by contract' encourages the design of correct, reusable software components.
Emphasises the role of abstract data types in software development and uses them as a framework to teach Eiffel. Explains the principles behind the use of polymorphism and dynamic binding. Makes use of extensive written and practical exercises the majority of which contain solutions to consolidate and enhance the teaching of Eiffel.
Emphasises the role of abstract data types in software development and uses them as a framework to teach Eiffel. Explains the principles behind the use of polymorphism and dynamic binding. Makes use of extensive written and practical exercises the majority of which contain solutions to consolidate and enhance the teaching of Eiffel.
More details
Edition
2nd edition
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
Professional and scholarly
Dimensions
Height: 234 mm
Width: 172 mm
Thickness: 30 mm
Weight
1090 gr
ISBN-13
978-0-201-33131-8 (9780201331318)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Previous edition
G. Thomas
Object-Oriented Programming Eiffel
Book
03/1995
Addison Wesley
€30.89
Article exhausted; check for reprint
Content
Preface
1. Introduction
2. Beginning Eiffel
3. Abstract Data Types
4. Classes and Features
5. Eiffel Instructions
6. Storage Structures
7. Expressions and Calls
8. Semantics of Abstract Data Types
9. Correctness: The Client-Supplier Relationship
10. Correctness: Programming by Contract
11. Building Types as Subtypes
12. Adapting Inherited Features
13. Polymorphism and Dynamic Binding
14. The Exception Mechanism
15. Client-Server vs Inheritance
16. Additional Facilities in Eiffel
17. Eiffel Concurrency
18. A Case Study
Appendix A: Eiffel Syntax
Appendix B: Special Characters
Appendix C: A Worked Example
Appendix D: WEL: The Windows Eiffel Library
Appendix E: The Breakfast Problem
1. Introduction
2. Beginning Eiffel
3. Abstract Data Types
4. Classes and Features
5. Eiffel Instructions
6. Storage Structures
7. Expressions and Calls
8. Semantics of Abstract Data Types
9. Correctness: The Client-Supplier Relationship
10. Correctness: Programming by Contract
11. Building Types as Subtypes
12. Adapting Inherited Features
13. Polymorphism and Dynamic Binding
14. The Exception Mechanism
15. Client-Server vs Inheritance
16. Additional Facilities in Eiffel
17. Eiffel Concurrency
18. A Case Study
Appendix A: Eiffel Syntax
Appendix B: Special Characters
Appendix C: A Worked Example
Appendix D: WEL: The Windows Eiffel Library
Appendix E: The Breakfast Problem