Search Results for "dbc"
Sort By:
Showing 9 open source projects for "dbc"
View related business solutions-
$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.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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). -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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
-
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.
- Previous
- You're on page 1
- Next
