Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
TOOLS 8 Proceedings of the eighth international conference on Technology of object oriented languages and systems
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Computer
Upgrading the Pre- and Postcondition Technique
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Emulating Design by Contract in C++
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Hi-index | 0.00 |
Design by Contract is widely accepted as a valuable software design methodology for improving software quality. Its incorporation into the Eiffel language has been largely responsible for this. However, the Eiffel language restricts the expressivity of what may be verified in the contract primarily to propositional logic. When the contract is non-trivial, if we wish to retain contract checking then we must write our own validation routines. How can we be sure that the code that checks the correctness is itself correct? Juvenal first posed the question in the first century A.D. 驴Sed quis custodiet ipsos custodes?驴 The level of genericity now possible in C++ at last offers a possible step forward.