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.

Design by Contract by Example 2001, Addison-Wesley Professional, Boston, MA

ISBN-13: 9780201634600

Trade paperback

Select