Home FAQ Random quotes Contact

Design by Contract, by Example

ISBN13: 9780201634600
ISBN: 0201634600
Binding: Paperback
List Price: $49.99
Publisher: Addison-Wesley Professional
Published Date:
Edition 1st
Pages: 256
Average Goodreads rating: 3.44/5 (18 ratings)

Programming by contract is a powerful object-oriented technique that provides a disciplined and effective means of documenting the public interface of a class. This text provides a detailed description of programming by contract and demonstrates how to exploit its full power. The core of the text consists of a collection of design principles that the author has developed, and an array of examples from the Eiffel Library Kernal Standard (ELKS) is included.