StackOverflow Questions for Tag: design-by-contract

ShreyankGopal

Reputation: 11

Getting unexpected results in Design By Contract style programming

javadesign-by-contractjmlopenjml

Score: 0

Answers: 0

ShreyankGopal

Reputation: 11

NoClassDefFoundError: org/jmlspecs/lang/internal/bigint

javadesign-by-contractjmlopenjml

Score: 0

Answers: 0

Chris Jones

Reputation: 5364

A good Design-by-Contract library for Java?

javadesign-by-contract

Score: 47

Answers: 10

Devsman

Reputation: 498

How can I have more information in a Predicate_Failure?

adadesign-by-contract

Score: 1

Answers: 1

ipartola

Reputation: 1646

Using Design by Contract in Python

pythondesign-by-contract

Score: 55

Answers: 5

Albatros23

Reputation: 331

Ada design by contracts critical software

adadesign-by-contract

Score: 0

Answers: 2

IAmCodeMonkey

Reputation: 1568

'Design By Contract' in C#

c#design-by-contract

Score: 39

Answers: 9

StackUnderflow

Reputation: 25408

How can I show that a method will never return null (Design by contract) in C#

c#design-by-contract

Score: 10

Answers: 9

Reb.Cabin

Reputation: 5567

Common Lisp idioms for argument checking and other paranoia?

common-lispdesign-by-contract

Score: 18

Answers: 1

Cratylus

Reputation: 54094

Design by contract and assert statements

javaassertdesign-by-contractpost-conditions

Score: 5

Answers: 3

cidra

Reputation: 397

How should I document a bean that's only supposed to be managed by CDI?

javajakarta-eecdijavadocdesign-by-contract

Score: 0

Answers: 0

Timo Junolainen

Reputation: 304

Weak precondition and strong postcondition problems?

design-by-contractpreconditionspost-conditions

Score: 0

Answers: 1

Boris

Reputation: 67

Strengthening and Weakening of pre and post conditions

javaoopdesign-by-contractpreconditionspost-conditions

Score: 1

Answers: 1

BenMorel

Reputation: 36632

DDD: the Repository contract

ormdomain-driven-designrepositoryddd-repositoriesdesign-by-contract

Score: 5

Answers: 3

Simon J

Reputation: 101

What are preconditions and postconditions?

programming-languagesdesign-by-contractpreconditionspost-conditions

Score: 9

Answers: 3

Jay Rohrssen

Reputation: 243

How do I insert a precondition in a java class method or constructor?

javaassertdesign-by-contractpreconditions

Score: 7

Answers: 5

coincoin

Reputation: 4685

What are contracts (as proposed for C++17)?

c++assertiondesign-by-contractc++17

Score: 40

Answers: 3

Derpveloper

Reputation: 3

Node.JS service layer design

node.jserror-handlingarchitecturedomain-driven-designdesign-by-contract

Score: 0

Answers: 1

Pipo

Reputation: 5093

estudio does not check `require` when it should?

eiffeldesign-by-contracteiffel-studio-19.12

Score: 0

Answers: 1

Pipo

Reputation: 5093

Understanding Eiffel loop variant/invariant

loopseiffeldesign-by-contract

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: design-by-contract

Getting unexpected results in Design By Contract style programming

NoClassDefFoundError: org/jmlspecs/lang/internal/bigint

A good Design-by-Contract library for Java?

How can I have more information in a Predicate_Failure?

Using Design by Contract in Python

Ada design by contracts critical software

&#39;Design By Contract&#39; in C#

How can I show that a method will never return null (Design by contract) in C#

Common Lisp idioms for argument checking and other paranoia?

Design by contract and assert statements

How should I document a bean that&#39;s only supposed to be managed by CDI?

Weak precondition and strong postcondition problems?

Strengthening and Weakening of pre and post conditions

DDD: the Repository contract

What are preconditions and postconditions?

How do I insert a precondition in a java class method or constructor?

What are contracts (as proposed for C++17)?

Node.JS service layer design

estudio does not check `require` when it should?

Understanding Eiffel loop variant/invariant

'Design By Contract' in C#

How should I document a bean that's only supposed to be managed by CDI?