Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Design by Contract, by Example - 02 edition

Design by Contract, by Example (ISBN10: 0201634600; ISBN13: 9780201634600)
ISBN13: 978-0201634600
ISBN10: 0201634600

Summary: Design by contract is an underused--but powerful--aspect of the object-oriented software development environment. With roots in the Eiffel programming language, it has withstood the test of time, and found utility with other programming languages. Here, by using both the Eiffel and Java languages as guidance, Design by Contract, by Example paves the way to learning this powerful concept. Through the following six teaching principles, the authors demonstrate how to ...show morewrite effective contracts and supporting guidelines. Readers will learn how to:

  1. Separate queries from commands
  2. Separate basic queries from derived queries
  3. Write a postcondition for each derived query that specifies what result can be returned
  4. Write a postcondition for each command that specifies the value of every basic query
  5. Decide on a suitable precondition for every query and command
  6. Write invariants to define unchanging properties of objects
Contracts are built of assertions, which are used to express preconditions, postconditions and invariants. Using the above principles, the authors provide a frank discussion of the benefits, as well as the potential drawbacks, of this programming concept. Insightful examples from both the Eiffel and Java programming languages are included, and the book concludes with a summary of design by contract principles and a cost-benefit analysis of their applications. Design by Contract, by Example is the first book of its kind to offer an example-based approach to learning this important paradigm. If you are a developer seeking a way to improve your craft, this book will give you the necessary understanding of the concepts of contracts in software design. ...show less

Edition/Copyright: 02
Cover: Paperback
Publisher: Addison-Wesley Longman, Inc.
Published: 10/28/2001
International: No

View Preface
View Author Bio



List Price: $49.99
Used  Currently Sold Out
New  Currently Sold Out
Rental $31.49
Due back 12/19/2014
Rental
Save $18.50 (37%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $1.99

9 more offers below.

The Marketplace on Textbooks.com
Additional Sellers for Design by Contract, by Example
Just for you, we curate a growing list of independent booksellers, giving you even MORE choices when shopping for your textbooks.
Keep in mind: Marketplace orders do NOT qualify for free shipping. More about the MarketplaceMore about the Marketplace

Filter by:   All (9)  |  New (7)  |  Like New (1)  |  Good (1)

Price
 
Condition
Seller
Comments
$44.79
+$3.99 s/h
Add marketplace to your cart
New
Barnes & Noble.com
Various Shipping Locations, USA
Seller Rating: 5
Brand new, ships from the closest shipping location to your shipping address!
$1.99
+$3.99 s/h
Add marketplace to your cart
Good
Goodwill of Silicon Valley
San Jose, CA
Seller Rating: 4.5
This item is used and in good condition. It may have minor highlghting and wear.
$42.03
+$3.99 s/h
Add marketplace to your cart
New
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$42.04
+$3.99 s/h
Add marketplace to your cart
New
TextbookBarn
Woodland Hills, CA
Seller Rating: 0
0201634600 Premium Publisher Direct Books are Like New or Brand New books direct from the publisher sometimes at a discount. Multiple copies are usually available. These books are not available for ...show moreexpedited shipping and may take up to 14 business days to receive. ...show less
$42.90
+$3.99 s/h
Add marketplace to your cart
New
indoo
Avenel, NJ
Seller Rating: 4.16
BRAND NEW
$44.10
+$3.99 s/h
Add marketplace to your cart
LikeNew
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$52.29
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.49
New Book. Shipped from US within 4 to 14 business days. Established seller since 2000
$66.96
+$3.99 s/h
Add marketplace to your cart
New
Palexbooks
Idyllwild, CA
Seller Rating: 3
New
$66.99
+$3.99 s/h
Add marketplace to your cart
New
Russell Books
Victoria, BC
Seller Rating: 4.32
PAPERBACK New 0201634600 Special order direct from the distributor.
Page:   1  
Close
Close
Close