design-by-contract

13 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Custom condition failure messages in Ada 2012
user_2084370
•
2
1
87
post-conditions preconditions ada design-by-contract predicate
I need a basic concrete example on how to use TDD along with Design by Contract
user_116878580
•
3
1
74
design-by-contract language-agnostic tdd
How can assertions be placed before a class initialisation list?
user_49795490
•
3
1
853
design-by-contract assert initialization constructor c++
Does Perl 6 natively support Design by Contract?
user_17634760
•
6
1
328
design-by-contract raku
Programming by contracts in PHP
user_2513110
•
15
4
10494
design-by-contract code-contracts design-patterns php
Am I implementing this simple contract incorrectly?
user_3951260
•
17
1
5521
design-by-contract code-contracts visual-studio-2010 resharper c#
A good Design-by-Contract library for Java?
user_1073570
•
46
10
21044
design-by-contract java
ReSharper - Possible Null Assignment when using Microsoft.Contracts
user_285850
•
52
7
10257
design-by-contract microsoft-contracts code-contracts resharper c#
Why is design-by-contract not so popular compared to test-driven development?
Perpetualcoder_374940
•
46
9
13337
design-by-contract tdd unit-testing
How to show if a method may return null
Brian_Schimmel_399460
•
50
11
32972
design-by-contract null java
Hot Questions