Search Results for "dbc"

EPICS is the Experimental Physics Industrial Control System. This library contains some assertion macros, nothing else.

...The high degree of flexibility results from using the template engine StringTemplate V4 by Terence Parr, see www.stringtemplate.org. The engine is fed with the parsed contents of the *.dbc files and can transform the information in nearly any kind of textual representation. Major samples demonstrate how to interface the generated CAN API with dSPACE TargetLink and MathWorks Embedded Coder to support model based APSW design.

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

CANStream is a .NET application intended to be used for CAN (Controller Area Network) bus communication development, testing and validation. CANStream allows to extensively test any system using CAN communication by sending and receiving CAN frames. Thanks to its powerful built-in mathematical expression evaluator, CANStream can also behave as a real control system feeding back the test device or commanding a third party device with context sensible data. Extended data logging and data...

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

A C++ database connectivity class library supporting different database management systems under a simple interface. The API is hiding implementation details from developers, so class usage is same for each database management system.

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.

The Harmoni PHP Project consists of three major components: 1) A PHP application framework and architecture, offering, e.g. authentication, DBC, file storage 2) PHP OKI OSID (service definitions) conversion system 3) PHP implementations of those OSIDs

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.

The project will provide a very small set of utility classes usable for checking class invariants pre and postconditions

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

The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.