Showing 3 open source projects for "contracts"

View related business solutions
  • Ship Agents Faster Icon
    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.
    Start Free
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Main purpose of this project is to create an Eclipse editor for specifying OCL contracts. The OCL language is used to specify pre-, post-conditions and invariants. The project also contains a parser to check the syntactical and semantical correctness.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next