Questions tagged [design-by-contract]

17

votes

1

answers

Am I implementing this simple contract incorrectly?

asked 2010-08-11T19:18:00.687

12

votes

2

answers

Code Contracts: Why are some invariants not considered outside the class?

c# .net static-analysis code-contracts design-by-contract

asked 2010-07-29T14:19:52.073

21

votes

9

answers

Do preconditions ALWAYS have to be checked?

design-by-contract

asked 2010-05-28T11:19:00.490

10

votes

5

answers

Design by contracts and constructors

c# .net c#-4.0 code-contracts design-by-contract

asked 2010-05-04T16:51:16.403

9

votes

2

answers

Why isn't JML implemented as Annotations in Java?

java design-by-contract jml

asked 2010-03-18T21:02:43.060

9

votes

5

answers

What are the best practices for Design by Contract programming

design-by-contract

asked 2009-04-13T19:49:25.693

9

votes

3

answers

Code Contracts, will you use them?

.net design-by-contract

asked 2009-02-25T03:05:03.317

12

votes

4

answers

How do you do Design by Contract in Perl?

perl moose design-by-contract

asked 2009-01-13T14:11:14.877

Questions tagged design-by-contract