Provides support for Design By Contract as described by Bertrand Meyer in his seminal book, Object-Oriented Software Construction (2nd Ed) Prentice Hall 1997 (See chapters 11 and 12). See also Building Bug-free O-O Software: An Introduction to Design by Contract http://www.eiffel.com/doc/manuals/technology/contract/
intelligine / dbc Goto Github PK
View Code? Open in Web Editor NEWProvides support for Design By Contract
License: MIT License