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

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

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

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.