contract programming freeware downloads

dlib C++ library

18.2 freeware download

... a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. It is open source ...

EiffelStudio

7.3.9.2766 freeware download

... is an advanced commercial-grade IDE for the Eiffel programming language. It is maintained and developed mostly by ... unique: * Complete compiler for the Eiffel programming language, with Design By Contract (DBC) support and ...

EiffelStudio 64bit

7.3.9.2766 freeware download

... is an advanced commercial-grade IDE for the Eiffel programming language. It is maintained and developed mostly by ... unique: * Complete compiler for the Eiffel programming language, with Design By Contract (DBC) support and ...

EiffelStudio for LInux

7.3.9.2766 freeware download

... is an advanced commercial-grade IDE for the Eiffel programming language. It is maintained and developed mostly by ... unique: * Complete compiler for the Eiffel programming language, with Design By Contract (DBC) support and ...

tIDE

2.72 freeware download

... you for example define List and ensure this contract at compile time ! Improved: Ant/JUnit/Cobertura integration. Scratch project to start testcode with 0 config ! ...