Search Results for "dbc"

Canmatrix is a Python package to read and write several CAN (Controller Area Network) database formats. Canmatrix implements a "Python Can Matrix Object" which describes the can-communication and the needed objects (Board units, Frames, Signals, Values, ...) Canmatrix also includes two Tools (can convert and can compare) for converting and comparing CAN databases.

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

cantools is a set of libraries and command line tools for handling ASC, BLF, CLG, VSB, MDF, and DBC files. The tools can be used to analyze and convert the data to other formats. Shared libraries for parsing and accessing these files are also provided.

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

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

DBC is a free and open source database that aims at providing high reliability and efficiency.

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.

Dbc et Maps pour serveur WoW.

Shine Frameworks: Maplet {MVC-JWMS Framework} JShooter {Reflect Framework for Distributing Application} JConnection {DBC Layer} Util {FileSystem, Compiling, WebSocket, MD5, Validation, XMLParsing, WebUploading, Package} http://www.J2OS.org

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.

Java Based GUI DB Client. Simple Text Editor for creating SQL Queries. Easy execution through specific JDBC Driver. Retrieving and nicely viewing the results.