A Ruby Library for Planning Messages in Sequence Diagrams
-
Updated
Apr 27, 2013 - Ruby
A Ruby Library for Planning Messages in Sequence Diagrams
Specification of Extended Binary Search Tree project using the design by contract paradigm.
A function that automates type-checking of arguments passed to Python functions
Code contracts library for pre and post condition validations in a fluent manner.
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
Design by Contract mechanisms in Eiffel
Assertion is a library for low-level validation, allows to verify invariants and pre/post conditions.
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
A Smart Contract Language based on design by contract and Event-B
Framework for safe and maintainable web-projects.
GO tools to assist with "programming by contract"
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
Verify the communication of your microservices by writing contracts for your RPCs
Generate data from contracts
Library to apply Design By Contract on plain Java projects
Design-by-contract programming for JavaScript and ReasonML
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."