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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"