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

A C++ high-performance regex library and Flex-compatible lexical analyzer generator with full Unicode support, new indentation anchors, lazy quantifiers, and many other modern features. Accepts Flex lexer specification syntax and is compatible with Bison/Yacc parsers. Generates reusable source code that is easy to understand. Supports fast scanning of UTF-8/16/32 files, strings, and streams. The reflex scanner generator generates clean C++ lexer class code that is thread-safe. Generates...

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

ALPHA Script is a unified programming meta-language and a framework that represents an abstract layer on top of the cloud. ALPHA Script is not compiled or interpreted on its own and is programming language agnostic. ALPHA Script is like a virtual bridge that interconnects different clouds and infrastructures. Finally, it can be used for M2M communications.

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

Use of annotations to specify constraints on methods. There are annotations available to perform common checks (i.e. a parameter has to be not null, an int value has to be positive, etc.) and to use a full-flavoured design by contract in java with suppor

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.

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

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.