Design by Contract for C

Category: Other - Tools & Utilities

Design by Contract for C generates design by contract code and documentation from tags embedded in C comments. Runtime checking of Preconditions, Postconditions and Invariants. Create Doxygen documentation from contracts. Date: 20 April, 2012


Design Contract - Ruby Contract - Build Tools - Design - Contract - Build

Homepage: http://files.rubyforge.vm.bytemark.co.uk

Developer: files.rubyforge.vm.bytemark.co.uk

License: Artistic License, GNU General Public License (GPL)

Operating System: Windows, Linux, Mac OS, BSD, Solaris

Add a Comment

all are required fields

     
What do you think of this resource?

Select Your Rate:

Votes:0

 

Related Scripts Download

Design by Contract for Ruby is a small library for use Design by Contract in Ruby.

developer Developer: rubyforge.org
license License: Freeware
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


ruby-contract provides support for describing and using types via unit-tests.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


The application is using the classic tcl/tk GUI toolkit.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


sourcecode2html is a html generator highlight for your source code (ruby, python, rhtml, c).

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux


alph script is a Ruby GUI framework.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


mkrf is a library for generating Rakefiles.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


New Gem Generator allows you to generate new gems instantly for your existing Ruby libraries/Rails plugins.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


New Gem Generator allows you to generate new gems instantly for your existing Ruby libraries/Rails plugins.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris


Allison is a frames-free, modern RDoc template.

developer Developer: files.rubyforge.vm.bytemark.co.uk
license License: Artistic License, GNU General Public License (GPL)
operating systems Operating System: Windows, Linux, Mac OS, BSD, Solaris