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
write 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 more
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 write 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 $9.99
Due back 08/14/2015
Rental
Save $40.00 (80%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $6.46

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 (4)  |  Very Good (3)  |  Good (2)

Price
 
Condition
Seller
Comments
$38.54
+$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!
$6.46
+$3.99 s/h
Add marketplace to your cart
VeryGood
Better World Books
Mishawaka, IN
Seller Rating: 4.62
Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
$6.46
+$3.99 s/h
Add marketplace to your cart
Good
Better World Books
Mishawaka, IN
Seller Rating: 4.62
Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
$8.51
+$3.99 s/h
Add marketplace to your cart
VeryGood
thriftbooks-com
Auburn, WA
Seller Rating: 4.57
Book has appearance of light use with no easily noticeable wear. Millions of satisfied customers and climbing. Thriftbooks is the name you can trust, guaranteed. Spend Less. Read More.
$21.97
+$3.99 s/h
Add marketplace to your cart
VeryGood
Time For Books
Clermont, FL
Seller Rating: 4.21
0201634600 Very Nice Copy--SPEEDY SHIPPING/100% Money BACK Guarantee!
$36.99
+$3.99 s/h
Add marketplace to your cart
Good
SUPER BOOKS
Fort Mill, SC
Seller Rating: 3.84
Buy with Confidence. Excellent Customer Support. We ship from multiple US locations. No CD, DVD or Access Code Included.
$39.15
+$3.99 s/h
Add marketplace to your cart
New
indoo
Avenel, NJ
Seller Rating: 4.15
BRAND NEW
$66.96
+$3.99 s/h
Add marketplace to your cart
New
Palexbooks
Idyllwild, CA
Seller Rating: 3.67
New
$84.59
+$3.99 s/h
Add marketplace to your cart
New
bargainforce
Chicago, IL
Seller Rating: 3.95
No comments from the seller
Page:   1  
Close
Close
Close