剧情简介：Design by Contract is a systematic approach to specifying and implementing object-oriented software elements based on precisely defined obligations between them. This is the first practical, example-centered guide to using Design by Contract. The authors introduce powerful design principles for writing good contracts and supporting guidelines -- and demonstrate those principles...(展开全部)
作者：Richard Mitchell
出版社：Addison-Wesley Publishing Company
ISBN：9780201634600
