Search Results for "contract"

...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 binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...Swagger2Markup supports the Swagger 1.2 and 2.0 specifications. Internally it uses the official swagger-parser and my markup-document-builder. You can use Swagger2Markup to convert your contract-first Swagger YAML file into a human-readable format.

...Yakoliv Framework is made of a generic DAO artifact and a GUI program that helps developers: - generating the data base schema and enabling sequence management - generating java classes from typed data - mapping generated classes to data base's table using ibatis sql maps - generating configurations for spring security secured web services - generating clients configurations for the generated web services - generating a contract for client-server communication. Yakoliv Framework also provides APIs for client proxies initialisation and client/server binary data management via webservices. For instance, file upload/download. Yakoliv is useful for every CXF Jax-WS project.

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.

An easy way for checking the precondition(s) of (public) methods and constructors (design by contract). All arguments can be checked, before an IllegalArgumentException is thrown. Creating consistent messages for inconveniences in argument values.

...Otherwise, the behavoir of the Java-Standard-Collection is not determined. HE-Collections where implemente in order to store objects in a collection, that brake the contract between equals(Object) and hashCode(), HE-Collections behave predictably even if they contain objects that don't obey the contract. The name "HE" stands for Hashcode and Equals.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Open source Java test library that: 1. Tests getter/setter method pairs of a class. 2. Verifies equals and hashCode methods comply with the Equals Contract and HashCode Contract respectively. 3. Verifies property significance in object equality.

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.

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.

Allows developers to create Java software on the pattern based approach. Programmer won't implement infrastructure for patterns but would use the ready ones. JPattern is a contract pushing developer to implement the logic in the terms of known patterns

Tool to enhance robustness of php development

The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation

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

Scenery Manager provides a pratical way to build and test templates (jsp, velocity...). At same time, you define a solid contract between the interface (template) and the services (servlet) teams. It can be very useful on requirements closure, prototype

JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.

ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.

A simple library for providing Design by Contract functionality for Java projects, using AspectJ and annotations.

This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.

Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.

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.

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).

The project will provide a very small set of utility classes usable for checking class invariants pre and postconditions