Search Results for "contract" - Page 3
Sort By:
Showing 88 open source projects for "contract"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
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.
-
2
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
3
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.
-
4
The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
PHP Design by Contract
Base class for PHP 5.3+ which allows design by contract in PHP
PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and PostCondition checks. Instances can also check for state consistency with an invariant check. -
6
HE-Collection
HE-Collections - independent from hashCode() and equals(Object)
...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. -
7
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
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) -
8
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.
-
9
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
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.
-
11
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.
-
12
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
-
13
-
14
CppCondite is a contract directed testing framework for C++. A formally specified "contract" (and a little human help) can be used to generate tests (similar to unit tests) verifying that a component implements the contract correctly.
-
15
The pycurry project is targeted for handling concurrency issues within the Python programming language. It also contains a (almost) fully functional 'Design by Contract' implementation.
-
16
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
-
17
...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
-
18
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
-
19
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.
-
20
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
-
21
Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.
-
22
A simple library for providing Design by Contract functionality for Java projects, using AspectJ and annotations.
-
23
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.
-
24
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.
-
25
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.
