Search Results for "contract bridge on linux"

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...

An MDA(model driven architecture) tool to generate a complete web / mobile app from a UML model. Will generate high quality , best practices compliant code from UML model for all tiers of an enterprise application i.e. presentation, persistence, plumbing

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.

Automatic c++ JAVA JNI code generator via annotations Supported: JNI header + source code with automatic cast to c++ bridge class Java String conversion to std::string Bridge c++ class to Java class

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

Tool to enhance robustness of php development

Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.

EWG (Eiffel Wrapper Generator) is a tool that generates Eiffel wrapper classes for C libraries. It can be used to create libraries that bridge the gap between Eiffel and C. It aims to work for arbitrary ANSI C and with all common Eiffel compilers.

DAO generator. Objects are generated from most native description of relational data - SQL commands. Generator result is completely generated bridge Object - Relational database with connection pool, DAO factory, SQL dialects etc.

A tool for increasing the quality of Java applications. It allows the programmer to use design by contract and defines other development aspects right in the classes where they are relevant, as JavaDoc comments. It's a combination of AspectJ and xDoclet.

ContractChecker is a small tool to provide support for some design by contract features to standard Java code. Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.

Based on a subproject, called Gerbo, it does the object mapping of a Relational Database. It is like torque and object bridge, but simplier. The full project will have a GUI to make instrospection in a already created database and create the OR. Java.