Easily migrate from Snowflake, Redshift, or Databricks with free tools.
BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
Try Free
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini 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.
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.
Track and trace your contracts. You will be aware when contracts expire and/or when it is time to cancel any contract. Version 2.10 (Multiple attachments per contract), please read the documentation, specifically on upgrading.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
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
A PHP/MySQL content system for running mercenary campaigns in the Battletech universe and beyond. TO&E, personnel dossiers, contract tracking, afer action reports, and more are included.
ROLE is a research project funded by the European Commission (Contract no. 231396) and aiming at delivering and testing prototypes of responsive and personal learning environments. This Sourceforge Repositoy contains the developments related to WP7.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
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.
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.
The aim of the CONTRACT project is to provide new innovative solutions which specifically help bridge the gap between the new large-scale applications in DBEs and the need for sound software and business guarantees for such systems.
E-HRIS Is an open source human resource information management system developed to automate all aspects of human resource management i.e. contract management,leave management,training management. The Project demo available at http://www.e-hris.com
Asset management (asset identification, valuation and risk assessment based on ISO27005) Party management (clients, providers) Contract and license management. The app is database-independent and functions on Windows and Linux. Please provide feedback.
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
Open SOA Repository is a JEE application enabling lifecycle management and contract management of your SOA services (SOAP WebServices, BPEL...). It can interact with UDDI and ebXML to publish your services.
This project is intended to demonstrate that current popular approaches to software security (e.g. DAC, VMA randomization, etc) are not sufficient and that other approaches should be considered more seriously (e.g. MAC, design by contract).
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
Contract programs and academic programs that I have created over my term as a programmer. Since most of this stuff is still used by me, I figured someone else out there might find it useful as well. Besides, its nice to have a place to cvs all my code
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.
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.
xLCM - extensible Life Cycle Management
The Contract Management Component builds the core of this Management System. Other Components are Procurement- / Negotiation-Support, Acounting-Support and -Adaption.