contract free download

Showing 3 open source projects for "contract"

View related business solutions

UML Clear Filters & Widen Search

$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

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

Start Free Trial
MongoDB Atlas runs apps anywhere
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.

Start Free
1

UML and SysML with TRAK

Annotate/link UML and SysML diagrams with TRAK AF elements

Provides UML (SysML) profiles and a MDG for Sparx Systems EA to allow you to add TRAK elements to standard UML and SysML diagrams and link to TRAK architecture descriptions. Links TRAK Resource to UseCase as subject or collaborator and to States exhibited.

Downloads: 4 This Week

Last Update: 2026-06-10
See Project
2

EiffelStudio

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

11 Reviews

Downloads: 4 This Week

Last Update: 2020-12-22
See Project
3

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)

Downloads: 0 This Week

Last Update: 2015-08-17
See Project