Design by Contract principles and practice

Author: Mitchell
Publisher:
Publish Date: 2003-10-01
Features: This is the first domestic translation of a work that elaborates on the concepts and methods of "Contract-Based Design," providing a profound understanding and full utilization of contracts in object-oriented software design. The book thoroughly analyzes the DbC (Design by Contract) methodology using examples in Eiffel and Java. It introduces the six principles and six guidelines of DbC, guiding practical applications. It offers insightful analysis of DbC's application in C/C++ languages. The book is divided into 12 chapters. Through examples, it explores the basic concepts of DbC, introduces its six principles and six guidelines, demonstrates the application of the six principles, analyzes the relationship between DbC and inheritance, introduces bounding rules, the benefits and limitations of DbC, contracts in the observer framework, and precondition verification. In the end, it presents a Java example and discusses the application of contracts in analysis models. The appendix is specifically written by the translator for C/C++ programmers, offering guidance and advice on using C/C++ for contract-based design. This book is suitable for object-oriented software engineers and object-oriented language programmers.