Have one to sell? Sell yours here
Design Patterns with Contracts
 
See larger image
 
Tell the Publisher!
I’d like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Design Patterns with Contracts [Paperback]

Jean-Marc Jezequel , Michel Train , Christine Mingins
4.0 out of 5 stars  See all reviews (1 customer review)

Available from these sellers.


Amazon.co.uk Trade-In Store
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details.

Product details

  • Paperback: 368 pages
  • Publisher: Addison Wesley; 1 edition (27 Oct 1999)
  • Language English
  • ISBN-10: 0201309599
  • ISBN-13: 978-0201309591
  • Product Dimensions: 23.1 x 18.5 x 1.8 cm
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Bestsellers Rank: 1,625,292 in Books (See Top 100 in Books)
  • See Complete Table of Contents

More About the Author

Jean-Marc Jézéquel
Discover books, learn about writers, and more.

Visit Amazon's Jean-Marc Jézéquel Page

Product Description

Product Description

Design Patterns and Contracts is a thought-provoking guide to building design patterns to solve software engineering problems. Design patterns have gained widespread acceptance today because they capture the best practices of software design. Patterns offer optimized solutions to common design problems, reduce complexity by naming and defining abstractions, and provide a base for building reusable software. With Design Patterns and Contracts, object-oriented software practitioners have a new resource to help them further exploit the power of design patterns. 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 bookis 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. 0201309599B04062001

From the Back Cover

Design Patterns and Contracts is a thought-provoking guide to building design patterns to solve software engineering problems. Design patterns have gained widespread acceptance today because they capture the best practices of software design. Patterns offer optimized solutions to common design problems, reduce complexity by naming and defining abstractions, and provide a base for building reusable software.

With Design Patterns and Contracts, object-oriented software practitioners have a new resource to help them further exploit the power of design patterns. 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 bookis 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.



0201309599B04062001

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items.
Your tags: Add your first tag
 

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

5 star
0
3 star
0
2 star
0
1 star
0
Most Helpful Customer Reviews
By A Customer
Format:Paperback
Although this book is written using Eiffel, the concepts are easily portable to any other object language (java, c++ etc.). The authors explain their ideas and theories thoroughly using clearly defined examples. It must be noted that there are a few syntax problems when implementing the examples in ISE Eiffel but nothing that can't be overcome. Generally recommended.
Comment | 
Was this review helpful to you?
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:  5 reviews
54 of 58 people found the following review helpful
Design Patterns Brought into Sharp Focus 2 Jan 2000
By William R. Fowler - Published on Amazon.com
Format:Paperback
If you have already read the famous 1995 book, Design Patterns, by Gamma, Helm, Johnson, and Vlissides, you will enjoy this excellent sequel tremendously. It brings into sharp focus each of the object-oriented design patterns listed in the 1995 book by giving even more clear and more readable examples. It also adds the vital element of software contract: preconditions which must be met by a client before calling a routine, and postconditions which are guaranteed to be true after a routine completes its work.

If you have not read the 1995 book, don't bother. Buy this one instead. You don't need to have read Design Patterns to get full value out of this newer book.

The book uses the Eiffel programming language for its examples mainly because Eiffel does such a good job supporting contracts. Prospective readers who have closed their minds to anything not centered around Java or C++ will miss a treat if they pass up this book. Eiffel is written using English words. You don't need a language reference manual to read the Eiffel examples. The authors of this book have guided the reader through the Eiffel examples painlessly and do not require any prior contact with the language.

If you do buy a copy of this book, don't miss reading the case study in Chapter 6 on software configuration management. The general concept presented here is extremely valuable to any software developer. The authors kill two birds with one stone: design patterns are illustrated and a very eligant simplification of the software configuration management problem is proposed.

I highly recommend this extremely practical book.

8 of 10 people found the following review helpful
This book is about Eiphel, not Design Patterns. 2 Jun 2001
By Michael - Published on Amazon.com
Format:Paperback
If you want to learn about design patterns - don't buy this book! The most of the book is in Eiphel language which is not so easy do understand. To understand the design patterns with the examples of the book is very difficult. I bought this book because of it stars - but it was my big mistake!
3 of 3 people found the following review helpful
A great resource for Design Patterns 16 Aug 2001
By Brent Fulgham - Published on Amazon.com
Format:Paperback
After reading Jean-Marc Jezequel's excellent first Eiffel book, I was looking for more information on "Design By Contract", and its impacts on real-world projects. Based on the author and subject matter, I immediately ordered "Design Patterns and Contracts."

I was somewhat disappointed with the first section, covering the basics of UML, Design Patterns, and Design by Contract. There are many other references that do a better job of covering these basics. It also had the bland feel of an "Executive Summary" chapter, complete with an overabundance of whitespace, diagrams of questionable value, and concept definitions that would probably have been better off in a glossary.

Things rapidly improve after the first short section. The second part of the book is an excellent resource for the most common design patterns. This section makes a great reference, and I find myself refering to it from time to time for guidance, even when not using Eiffel.

I also greatly enjoyed the third part of this book, which brought the whole discussion into concrete terms by describing several case studies based on the authors' works. This section was very helpful in seeing the design patterns in action.

The one missing piece that would have forced me to give a 5-star rating would have been more discussion of how Design by Contract had a measurable impact on their work. For example, did the use of pre- and post-conditions allow them to find any esoteric bugs that might have gone unnoticed in another implementation language? Did they find that their software was measurably more reliable then systems built using other languages? But these are minor complaints, and can be satisfied through a literature review. This book is an excellent companion volume to your other software design volumes, and is a bargain at its retail price.

Search Customer Reviews
Only search this product's reviews

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

Search Customer Discussions
Search all Amazon discussions
   


Listmania!

Create a Listmania! list

Look for similar items by category


Look for similar items by subject


Feedback