Search Results for "dbc"

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

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