Design by Contract: By Example

by Richard Mitchell

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.

Genres: Technical

238 pages, Paperback

First published October 22, 2001

Reviews

[Arvydas Sidorenko · Rating 4 out of 5]

Very brief clear introduction to code contracts in Eiffel language.