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/
-
Notifications
You must be signed in to change notification settings - Fork 0
Provides support for Design By Contract
License
Intelligine/Dbc
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Provides support for Design By Contract
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published