Object-oriented Software Engineering with Eiffel


Book Description

A comprehensive, up-to-date, and resource-filled guide to Eiffel--the only "pure" object-oriented programming language. In addition to describing Eiffel, the book contains descriptions and comparisons of compilers and libraries available on the market as well as other resources for Eiffel programmers, ina ddition to plenty of compiler-independent examples and case studies.




Object-oriented Software Construction


Book Description

Software -- Software Engineering.




Object-oriented Programming in Eiffel


Book Description

The complete tutorial guide to object-oriented programming techniques in Eiffel, emphasising how its unique approach to `programming by contract' encourages the design of correct, reusable software components. Emphasises the role of abstract data types in software development and uses them as a framework to teach Eiffel. Explains the principles behind the use of polymorphism and dynamic binding. Makes use of extensive written and practical exercises the majority of which contain solutions to consolidate and enhance the teaching of Eiffel.




Eiffel


Book Description




Touch of Class


Book Description

This text combines a practical, hands-on approach to programming with the introduction of sound theoretical support focused on teaching the construction of high-quality software. A major feature of the book is the use of Design by Contract.




Objects Unencapsulated


Book Description

BASIC APPROACH PLEASE PROVIDE COURSE INFORMATION




Design Patterns and Contracts


Book Description

"This book introduces the fundamentals of software contracts and illustrates how Design by Contract contributes to the optimal use of design patterns in a quality-oriented software engineering process. The Design by Contract approach to software construction provides a methodological guideline for building systems that are robust, modular, and simple." "Readers will find value in the book's overview of the Object Constraint Language, a precise modeling language that allows Design by Contract to be used with the industry standard Unified Modeling Language (UML). Although written in Eiffel, this book makes an excellent companion for developers who are using languages such as Java and UML. Throughout the book the authors discuss specific implementation issues and provide complete, ready-to-be-compiled examples of the use of each pattern." "They introduce design patterns and Design by Contract in the context of software engineering, and show how these tools are used to guide and document system design."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved




Design by Contract, by Example


Book Description

Design by Contract is a general approach to software design that dramatically improves the quality of the resulting products. This book provides an example-based approach to learning the powerful concept of Design by Contract.







Working with Objects


Book Description

The object-oriented methodology OOram is new and different from all others on the market, and has been in use and development in Norway for over 12 years. This book is the authoritative account of the OOram methodology for software analysis, design, development, maintenance, and reuse.