Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

Object-Oriented Programming Eiffel

(Autor)

Buch | Softcover
535 Seiten
1995
Addison Wesley (Verlag)
978-0-201-59387-7 (ISBN)
CHF 59,70 inkl. MwSt
zur Neuauflage
  • Titel erscheint in neuer Auflage
  • Artikel merken
Zu diesem Artikel existiert eine Nachauflage
This book gives a complete tutorial guide to object-oriented programming in EIFFEL, emphasizing the role of abstract data types (ADTs) in software development. It shows how to build ADT implementations and reuse them, and includes a tear-out card for a low-cost compiler from "Everything Eiffel".
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

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

Erscheint lt. Verlag 16.3.1995
Zusatzinfo Ill.
Verlagsort Harlow
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Software Entwicklung Objektorientierung
ISBN-10 0-201-59387-4 / 0201593874
ISBN-13 978-0-201-59387-7 / 9780201593877
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
objektorientierte Entwicklung modularer Maschinen für die digitale …

von Thomas Schmertosch; Markus Krabbes; Christian Zinke-Wehlmann

Buch | Hardcover (2024)
Hanser (Verlag)
CHF 62,95
Entwicklung von GUIs für verschiedene Betriebssysteme

von Achim Lingott

Buch (2023)
Hanser, Carl (Verlag)
CHF 55,95
Principles and Practice Using C++

von Bjarne Stroustrup

Buch | Softcover (2024)
Addison Wesley (Verlag)
CHF 119,95