Design By Contract for C/C++ download

The Design By Contract framework for C++ allows developers to design software that accomplish the specification requirements. Obscure bugs in software are shown quickly due to its precond, postcond, class/loop invariants and new/delete runtime analysis.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Design By Contract for C/C++

Design By Contract for C/C++ Web Site

User Reviews

Be the first to post a review of Design By Contract for C/C++!

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

Developers

User Interface

X Window System (X11)

Programming Language

C++

Related Categories

C++ Build Tools, C++ Debuggers

Registered

2003-08-23

Similar Business Software

TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
SmartBear AQTime Pro

Debugging should be simple. AQTime Pro synthesizes complex memory and performance information into digestible, actionable insights so you can quickly find bugs and their root cause. Finding and squashing highly differentiated bugs is tedious and complicated, but AQTime Pro makes it easy. With...

See Software
Bugwolf

Bugwolf rapidly reviews your websites, web and mobile applications to discover software glitches before your customers do. Typically, Bugwolf can turn around a testing cycle in 48-hours. For best results, most of our clients schedule in regular testing cycles at specific milestones throughout a...

See Software

Report inappropriate content