Search Results for "contract bridge on linux"

git-bug is fully embedded in git, you only need your git repository to have a bug tracker. git-bug is distributed. Use your normal git remote to collaborate, push and pull your bugs! git-bug works offline, in a plane or under the sea? Keep reading and writing bugs! It prevents vendor lock-in: your usual service is down or went bad? You already have a full backup. It is fast, listing bugs or opening them is a matter of milliseconds. git-bug doesn't pollute your project, no files are added in...

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.

idevb is an interplatform development bridge which allows you to develop(compiling/debugging/etc.) softwares for any kinds of platforms on any platforms you prefer.

Tools for Palm OS developers on Mac OS X. Cocoa Palm Reporter logs traces emitted by the Palm OS Emulator. USB-TCP Bridge provides a socket that can be used to communicate with a Palm handheld over USB (for example, GDB).

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.