Search Results for "can dbc"
Sort By:
Showing 2 open source projects for "can dbc"
View related business solutions-
Track leads, jobs, and tasks from one easy to use software. You can access your information wherever you are, get everyone on the same page, and grow your business.
-
With AccountEdge, business owners can organize, process, and report on their financial information so they can focus on their business. Features include: accounting, integrated payroll, sales and purchases, contact management, inventory tracking, time billing, and more.
-
1
OVal - object validation framework
object validation framework for Java
OVal is an extensible object validation framework for Java 5 or later. Annotations (@NotNull) or XML configuration files can be used to express class constraints. OVal can optionally use AspectJ to enforce automatic validation (DbC) How to use: https://sebthom.github.io/oval/USERGUIDE.html OVal releases are available via the the Bintray JCenter Maven repository https://bintray.com/bintray/jcenter?filterByPkgName=oval -
2
Contract++
Contract Programming Library for C++
**** 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
- Previous
- You're on page 1
- Next