StackOverflow Questions for Tag: design-by-contract

koin

Reputation: 203

Design-by-contract finding pre-conditions

javadesign-by-contractpreconditions

Score: 1

Answers: 1

Xilconic

Reputation: 3845

Using Code Contracts to ensure collection remains unchanged

c#code-contractsdesign-by-contract

Score: 3

Answers: 2

e_i_pi

Reputation: 4820

Liskov Substitution Principle (LSP) violated via Design By Contract (DBC)?

phpoopsolid-principlesdesign-by-contractliskov-substitution-principle

Score: 0

Answers: 2

gbalduzzi

Reputation: 10186

Iterate through a matrix with openJML

javamatrixdesign-by-contractopenjml

Score: 0

Answers: 1

JamesFaix

Reputation: 8665

Nemerle - How do I write a method signature with a generic constraint and "requires" condition?

genericsdesign-by-contractpreconditionsnemerle

Score: 2

Answers: 0

John Gietzen

Reputation: 49564

How do I set up Microsoft Contracts static checking in Visual Studio 2010?

design-by-contractmicrosoft-contracts

Score: 0

Answers: 1

Caduchon

Reputation: 5231

How to document/assert when inheritance induces a precondition for some final types only

c++inheritancedoxygendesign-by-contractpreconditions

Score: 0

Answers: 1

Kevin Macejko

Reputation: 107

XML inside an string element vs independent elements

javaweb-servicesxsddesign-by-contractcontract

Score: 1

Answers: 1

LuqJensen

Reputation: 310

Is an exception a valid postcondition?

design-by-contractcontractpreconditionspost-conditions

Score: 1

Answers: 1

Jesper Lund Stocholm

Reputation: 2013

WCF Contract first: complexType has already been declared

c#wcfwsdlsvcutil.exedesign-by-contract

Score: 4

Answers: 1

Nobody

Reputation: 4841

Am I implementing this simple contract incorrectly?

c#visual-studio-2010resharpercode-contractsdesign-by-contract

Score: 17

Answers: 1

smeeb

Reputation: 29567

How can a unit test "test the contract" on a method that returns void?

javaunit-testingdesign-by-contract

Score: 2

Answers: 2

Eleno

Reputation: 3016

Interface of read_character and last_character in STD_FILES

iodesign-by-contracteiffel

Score: 1

Answers: 1

Simon

Reputation: 53

Why I still get Code Contracts : Ensure unproven warning?

c#code-contractsdesign-by-contract

Score: 5

Answers: 2

AdrianGW

Reputation: 163

Best practices for Design by Contract (DbC) and Test Driven Development

unit-testingtdddesign-by-contractfuzzing

Score: 0

Answers: 1

Adam Bellaire

Reputation: 110519

Design By Contract and Test-Driven Development

language-agnosticproject-managementtdddesign-by-contract

Score: 28

Answers: 8

Enrico Massone

Reputation: 7348

Checking preconditions on parameters in public methods

oopdomain-driven-designdesign-by-contractdefensive-programmingpreconditions

Score: 0

Answers: 2

akagixxer

Reputation: 1859

How to use offline bytecode writer with Cofoja?

javadesign-by-contract

Score: 1

Answers: 1

Romain Verdier

Reputation: 13011

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

c#.netstatic-analysiscode-contractsdesign-by-contract

Score: 12

Answers: 2

avismara

Reputation: 5149

Design by Contract in Swift

iosswiftdesign-by-contract

Score: 20

Answers: 2

PreviousPage 4Next

StackOverflow Questions for Tag: design-by-contract

Design-by-contract finding pre-conditions

Using Code Contracts to ensure collection remains unchanged

Liskov Substitution Principle (LSP) violated via Design By Contract (DBC)?

Iterate through a matrix with openJML

Nemerle - How do I write a method signature with a generic constraint and &quot;requires&quot; condition?

How do I set up Microsoft Contracts static checking in Visual Studio 2010?

How to document/assert when inheritance induces a precondition for some final types only

XML inside an string element vs independent elements

Is an exception a valid postcondition?

WCF Contract first: complexType has already been declared

Am I implementing this simple contract incorrectly?

How can a unit test &quot;test the contract&quot; on a method that returns void?

Interface of read_character and last_character in STD_FILES

Why I still get Code Contracts : Ensure unproven warning?

Best practices for Design by Contract (DbC) and Test Driven Development

Design By Contract and Test-Driven Development

Checking preconditions on parameters in public methods

How to use offline bytecode writer with Cofoja?

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

Design by Contract in Swift

Nemerle - How do I write a method signature with a generic constraint and "requires" condition?

How can a unit test "test the contract" on a method that returns void?