Description
This book introduces software developers to design by contract, an aspect of object-oriented softwar...
Read More
This book introduces software developers to design by contract, an aspect of object-oriented software construction with roots in the Eiffel programming language. Major principles of design by contract are illustrated with examples in both Eiffel and Java, and readers are shown how to use the principles to write effective contracts. The authors discuss benefits and potential drawbacks of this programming concept, and overview how the principles can be used in analysis as well as programming. Mitchell is a computer consultant. McKim is professor and chair of the Department of Engineering and Science at Rensselaer Polytechnic Institute. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Read Less