Search Results for "contract" - Page 3
Sort By:
Showing 86 open source projects for "contract"
View related business solutions-
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
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.
-
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.
-
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.
-
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.
-
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
...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
-
17
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
-
18
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.
-
19
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
-
20
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.
-
21
A simple library for providing Design by Contract functionality for Java projects, using AspectJ and annotations.
-
22
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.
-
23
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.
-
24
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.
-
25
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).
