Cover image for Object-oriented software engineering with Eiffel
Title:
Object-oriented software engineering with Eiffel
Author:
Jézéquel, Jean-Marc, 1964-
Publication Information:
Reading, Mass. : Addison-Wesley Pub. Co, [1996]

©1996
Physical Description:
xix, 340 pages : illustrations ; 24 cm.
Language:
English
ISBN:
9780201633818
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Item Holds
Searching...
QA76.64 .J49 1996 Adult Non-Fiction Central Closed Stacks
Searching...

On Order

Summary

Summary

Eiffel is a language created expressly for object-oriented programming. This text offers coverage of the most recent version of Eiffel. It features syntax and semantics, style guides, analysis and design notes, design patterns, validation and testing, descriptions and comparisons of libraries and compilers available on the market, object-oriented design philosophy, an Eiffel resource guide and contact details. Three extensive case studies show Eiffel in action in the MIS world, the embedded systems/telecommuncations world, and the numeric world.


Author Notes

Jean-Marc Jèzèquel is a research manager in the Irisa Lab for the Centre National de la Recherche Scientifique. His areas of expertise include software engineering and object-oriented technologies for telecommunications and distributed computers. He is the author of Object-Oriented Software Engineering with Eiffel (Addison-Wesley) and has written numerous articles for various international publications.



0201633817AB04062001


Table of Contents

Preface
Acknowledgments
1 The Software Engineering Context
Introduction
The Object-Oriented Approach
Eiffel: An Object-Oriented Language for Software Engineering
I Language Elements
2 Basic Language Elements of Eiffel
The Eiffel Notion of Systems
Class = Module = Type
Definition of Entity Declaration
Statements
Routines: Procedures and Functions
Example: Sorting Data with Eiffel
3 Object-Oriented Elements
Working with Modules
Genericity
Inheritance
Feature Adaptation
Polymorphism and Dynamic Binding
Deferred Classes
Genericity and Inheritance
Case Study: The KWIC System
4 The Eiffel Environments
System Assemby and Configuration
Assertion Monitoring
Overview of the Eiffel Standard Library
Interfacing with Other Languages
Garbage Collection
5 Advanced Language Elements
Exception Handling
Repeated Inheritance
Assignment Attempt
Other Issues of Typing
Parallelism
II Building Software Systems with Eiffel
6 Building Software Systems with Eiffel
Object-Oriented Methodology
Case Study: An SMDS Server
SMDS: Object-Oriented Analysis
Eiffel and Object-Oriented Design
SMDS: Object-Oriented Design
Implementation
7 From Implementation to Delivery
Verification and Validation
Unit Testing of Eiffel Classes
Integration Testing
SMDS Server Acceptance Testing
The OMT/Eiffel Approach
8 Building Libraries: The Case of Data Structure Libraries
Library Design
The EiffelBase Library
The TowerEiffel Booch Components
The SiG Library
9 Building a Parallel Linear Algebra Library with Eiffel
Introduction
Encapsulating Distribution
Replicated and Distributed Matrices
Dealing with Multiple Representations
Making Parallel Libraries Efficient
Conclusion
III Appendixes
Appendix A Glossary
RTT Measurements Using Ping
Protocol Stack Measurements
Latency and Bandwidth
Appendix B Lexical and Syntactic Elements
Manifest Constants
Reserved Words
Syntax Diagrams
Appendix C Eiffel Contact List
Eiffel Vendors
Eiffel Forums
Getting More Information about this Book
Bibliography
Index