C++ tools to assist with "programming by contract"
-
Updated
Aug 27, 2021 - C++
C++ tools to assist with "programming by contract"
Specification of Extended Binary Search Tree project using the design by contract paradigm.
Utilities for design-by-contract programming and error handling
Design by Contract mechanisms in Eiffel
Library to apply Design By Contract on plain Java projects
GO tools to assist with "programming by contract"
A function that automates type-checking of arguments passed to Python functions
Assertion is a library for low-level validation, allows to verify invariants and pre/post conditions.
Generate data from contracts
Java unit-testing assertions to assist a Design By Contract style of programming
Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
A Smart Contract Language based on design by contract and Event-B
A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.
Code contracts library for pre and post condition validations in a fluent manner.
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
Design by contract extension to Java using annotations and bytecode injection
A Ruby Library for Planning Messages in Sequence Diagrams
Add a description, image, and links to the design-by-contract topic page so that developers can more easily learn about it.
To associate your repository with the design-by-contract topic, visit your repo's landing page and select "manage topics."