Search Results for "contract bridge on linux"
Sort By:
Showing 3 open source projects for "contract bridge on linux"
View related business solutions-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
2
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.
-
3
idevb is an interplatform development bridge which allows you to develop(compiling/debugging/etc.) softwares for any kinds of platforms on any platforms you prefer.
- Previous
- You're on page 1
- Next
