C for Visual Studio 6.0

If anything can go wrong, it will and at the worst possible moment !
MURPHY'S LAW

Security, correctness and speed are key issues of present software development. C² is a tool which provides a Design by Contract extension for C++. In version 1.0 it integrates with Microsoft Visual Studio 6.0. Using C², you will find errors in your code faster and at an earlier stage of development. Thus you will dramaticaly shorten your development process and reduce its costs. C² fits seamlessly into the development environment of Microsoft Visual Studio 6.0 and it guarantees more security, higher quality and enhanced comprehensibility from the first minute on. You can integrate it with any project, also with one which is already begun. C² works very well with other security-relevant coding methods such as unit tests or regresion tests.

C² is not a new language but a code generator for C++ which can be turned on or off at your demand. It is simple to add pre- and postconditions as well as invariants to your class interfaces. This condition will be supervised automatically from that point of time. C² as an extension to C++ consist of just a few keywords. These keywords are written in comment lines and as such they will not interfere with your regular compilation. The contracts are represented as plain C++. Thus you can debug it. The training period is so short that software developers benefit from C² from the first moment of usage. C² is the first tool that enables you to use Design by Contract in a large C++ project. A manual with examples is included.

C² is also available for g++ compilers under Linux, and will soon be available for c++ on .NET!

Platforms supported:
Windows NT, Windows 2000, Windows XP