Search Results for "contract" - Page 4
Sort By:
Showing 87 open source projects for "contract"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
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).
-
2
The project will provide a very small set of utility classes usable for checking class invariants pre and postconditions
-
3
A testing framework, based on JUnit, that allows the easy creation of randomized tests, based on Design-by-Contract principles. The programmer defines simple actions on parameters (injected by the framework), and the resulting ecosystems are verified.
-
4
A framework for Delayed Asserts and Design By Contract in C++. The framework is based on delaying the execution of asserts until specified points in time (i.e. exiting a function), achieving seperation of assert definition from validation. Implements full seperation of assert definition from validation, allowing for a contract clauses block at the beginning of each function that includes "ensure" checks on exiting the function.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
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.
-
6
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.
-
7
ENterprise Application Frameworks: a pattern layer for interaction between application servers resp. service providers on the one hand side and the business component side on the other. will be a two level contract: 1. a java interface collection. let
-
8
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.
-
9
The project aims to the development of tools to increase the usability of the iContract tool, which provides Design By Contract in 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
Whisper is C++ application framework for the Mac and Windows. Unlike most frameworks it takes advantage of the standard library, design by contract, and modern C++ idioms.
-
11
Open Source Developer's Agreement is a freely available set of clauses to insert into your employment contract to provide certainty on who exactly owns the IP of open source software you (or your employees) develop.
-
12
Sub::Contract offers a pragmatic way to implement parts of the programming by contract paradigm in Perl.
