Fluent Design Contracts for Java Projects
-
Updated
Aug 28, 2025 - Java
#
design-by-contract
Here are 11 public repositories matching this topic...
A course on advanced object-oriented design and programming
design-patterns inheritance error-handling design-by-contract subtyping interface-design method-types method-properties value-objects role-modeling collaboration-based-design object-oriented-frameworks class-design type-objects object-creation
-
Updated
Oct 5, 2025 - Java
A dynamic, interpreted and impurely functional programming language with testing and design-by-contract features.
-
Updated
Nov 3, 2024 - Java
A Smart Contract Language based on design by contract and Event-B
-
Updated
May 21, 2019 - Java
Java unit-testing assertions to assist a Design By Contract style of programming
-
Updated
May 16, 2024 - Java
A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.
-
Updated
Oct 27, 2022 - Java
Contract usage in Android Java and Kotlin applications
-
Updated
Apr 27, 2025 - Java
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
-
Updated
Aug 31, 2024 - Java
Design by contract extension to Java using annotations and bytecode injection
-
Updated
Nov 19, 2022 - Java
Library to apply Design By Contract on plain Java projects
-
Updated
Feb 10, 2021 - Java
Specification of Extended Binary Search Tree project using the design by contract paradigm.
-
Updated
Dec 6, 2017 - Java
Improve this page
Add a description, image, and links to the design-by-contract topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the design-by-contract topic, visit your repo's landing page and select "manage topics."