Search Results for "dbc"
Sort By:
Showing 9 open source projects for "dbc"
View related business solutions-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
...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 binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
-
2
jarduino
Generates C++ code from Arduino .dbc files
jarduino creates C++ code from .dbc files suitable for import into the Arduino IDE. It generates C structures representing each message and functions to build and parse the messages. It also provides a visualisation of the message, mapping the signals to the bits in the data message. -
3
C4JExplorer
C4J-Explorer plug-in for Eclipse
The C4J-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts. It works in combination with the DbC framework C4J (Contracts for Java). -
4
D3-Explorer
D3-Explorer plug-in for Eclipse
The D3-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts. It works in combination with the DbC framework C4J (Contracts for Java). -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
-
6
This is a project page for student coursework of the Digital Business Communication (G53DBC) at the University of Nottingham Malaysia Campus.
-
7
Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.
-
8
The project will provide a very small set of utility classes usable for checking class invariants pre and postconditions
-
9
A design-by-contract (DBC) framework for Java 1.5 which uses annotations to declare preconditions, postconditions, etc. Unlike other design-by-contract frameworks, requires no precompilation, making code portable across build systems, IDEs, and platforms
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
- Previous
- You're on page 1
- Next
