Object-Oriented Programming Eiffel
Published on 16. March 1995
Book
Paperback/Softback
535 pages
978-0-201-59387-7 (ISBN)
Description
The Eiffel programming language has won strong support from the OOP community as an alternative to C++, Smalltalk and other languages. This book gives a complete tutorial guide, emphasizing the role of abstract data types (ADTs) in software development. It is especially suited to courses where object-oriented techniques are introduced for programming-in-the-large. It shows how Eiffel's unique approach to programming by contact encourages the design of reusable software components. It also explores techniques for ensuring the correctness of programs. Highlights of the book include: *A strong emphasis on Eiffel's support for modern software engineering practice, including the development of abstract data types, reusable components, and correctness issues *Full coverage of advanced features including multiple inheritance, polymorphism, dynamic binding, and exception handling *Guidance on when to use inheritance and when to use the client-supplier relationship *A case study illustrating Eiffel's power and expressiveness 0201593874B04062001
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
Professional and scholarly
Illustrations
Ill.
ISBN-13
978-0-201-59387-7 (9780201593877)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
P. Thomas | Ray Weedon
Object-Oriented Programming in Eiffel
Book
12/1997
2nd Edition
Addison Wesley
€92.84
Article is exhausted; no reprint
Person
About Pete Thomas Pete Thomas is Dean and Director of Studies in the Faculty of Mathematics and Computing at the Open University. He has teaching and research interests in programming languages and has written books on Prolog: from specification to prototype and Abstract Data Types. About Ray Weedon Ray Weedon is a lecturer in the Computing Department at the Open University. He has teaching and research interests in programming languages and has written books on Prolog: from specification to prototype and Abstract Data Types. 0201593874AB04062001
Content
(Most chapters begin with an Introduction.) Introduction. Analysis. Types in Programming Languages. Specification. Modularisation. Using and Building Types. Building Types with Inheritance. Polymorphism. Exceptions. Programming by Contract. Language Requirements. Beginning Eiffel. How to Create Instances of a Data Type. How to Manipulate Objects. Initialization and the Basic Data Types. Classes. Executing Eiffel Programs. Practical Work. The Specification Of Abstract Data Types. Specifying Abstract Data Types. Classes And Features. Routines and Attributes. Classes and Data Hiding. Scope. Basic Input and Output. Practical Work. Eiffel Instructions. Assignment. Conditional Instructions. Loops. Practical Work. Storage Structures. The Class ARRAY. Linked Representation. Library Classes. Files. Practical Work. Expressions And Calls. Expressions. Calls. Practical Work. Semantics Of Abstract Data Types. The Constructive Approach. The Axiomatic Approach. The Client-Supplier Relationship. Correctness: The Client-Supplier Relationship. Correctness. The Client-Supplier Relationship. Verifying Program Correctness. Run-Time Monitoring of Assertions. Practical Work. Correctness: Programming By Contract. Categories of Program Error. The Client-Supplier Contract. Other Program Testing Facilities in Eiffel. Practical Work. Building Types As Subtypes. The Subtype Relationship. Implementing Subtypes in Eiffel Using Inheritance. Inheritance and Generic ADTs. Inheritance Issues. Practical Work. Adapting Inherited Features. Renaming. Changing the Export Status. Redefinition. Deferred (Abstract Classes). Joining. Undefining: Making Non-Effective. Repeated Inheritance and Adaptation. Practical Work. Polymorphism And Dynamic Building. Polymorphism. Polymorphism and Feature Redefinition. Dynamic Binding and Repeated Inheritance. Checking the Dynamic Type: The Reverse Assignment Attempt. Conformance. Type Problems with Polymorphism and Dynamic Binding. Practical Work. The Exception Mechanism. Trapping Exceptions. Principles Governing What the Rescue Clause Can Do. Information about exceptions: The Class EXCEPTION. Handling Exceptions. User-Defined Exceptions. Program Correctness. Practical Work. Client-Supplier Vs. Inheritance. Review of the Client-Supplier Relationship and Inheritance. Choosing Between Client-Supplier Relationship and Inheritance. Additional Features Of Eiffel. Expanded Types. Once Routines. Frozen Features. Building Libraries. Practical Work. A Case Study. The Application. The Database. the Commands. The User Interface. 0201593874T04062001