HomePage

Welcome to the DBC for C Project Wiki

PLEASE DO NOT SPAM THIS WIKI. THANKS ;)

This is the home page for DBC for C. DBC for C or Design by Contract for C is a utility which generates Contract testing code and documentation from tags embedded in C comments. DBC for C is licensed under the MIT License.

News

• 10 May, 2005 - dbc-2.0.0 released! This new version is well worth the upgrade (and the wait). It is the result of significant testing and debugging, and general architecture improvements. The C Parser and C Preprocessor modules have been made into a seperate project - Caphir.

• More News...

DBC for C

• Getting Started
• [Using DBC for C (www.onlamp.com)]
• [DBC for C (www.codegeneration.net)]
• FAQ
• User Manual
• [Download]
• [Mailing List]

Design by Contract Links

• [Wikipedia Article]
• [OO Software Construction]
• [The Pragmatic Programmer]

Other Links

• [Doxygen]
• [Ruby]
• [One-Click Ruby Installer]
• [Racc]

Development

• DBC Team
• Contributing
  • Design
  • Coding Conventions
• [RubyForge project page]
  • [Mailing List]
  • [Browse the code in CVS]
  • [Report a bug or request a feature]
• Release Planning
• Caphir
• License