Object-oriented programming in Eiffel
Author(s)
Bibliographic Information
Object-oriented programming in Eiffel
（International computer science series）
Addison-Wesley, c1995
- : pbk
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
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
Table of Contents
(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
by "Nielsen BookData"