Object-Oriented Programming Eiffel

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

(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