Awesome Open Source

Programming Languages

Search results for design by contract preconditions

design-by-contract x

preconditions x

4 search results found

Framework ⭐ 251

Design by Contract framework for PHP

Light.guardclauses ⭐ 81

A lightweight .NET library for expressive Guard Clauses.

Quid Pro Quo ⭐ 78

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

Decorator Contracts ⭐ 13

Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.

Requirements.java ⭐ 10

Fluent Design by Contract for Java APIs

Requirements.js ⭐ 6

Fluent Design by Contract for Javascript APIs

Related Searches

Contracts Design By Contract (22)

Preconditions Postconditions (9)

Dbc Design By Contract (8)

Design By Contract Contracts Programming (8)

Contracts Preconditions (7)

Programming Design By Contract (7)

Design By Contract Invariants (7)

Java Design By Contract (7)

Invariants Preconditions (7)

Python Design By Contract (6)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.