StackOverflow Questions for Tag: design-by-contract

Arc

Reputation: 149

How can assertions be placed before a class initialisation list?

c++constructorinitializationassertdesign-by-contract

Score: 4

Answers: 1

Mike

Reputation: 1

Benefits of using 'Design by Contract'

design-by-contract

Score: 0

Answers: 1

Pipo

Reputation: 5093

rescue how to raise further or forget an exception

exceptioneiffeldesign-by-contract

Score: 0

Answers: 1

Drifter

Reputation: 61

I need a basic concrete example on how to use TDD along with Design by Contract

language-agnostictdddesign-by-contract

Score: 3

Answers: 1

Pipo

Reputation: 5093

eiffel: a statement for explicitly executing code when assertions are on

eiffeldesign-by-contract

Score: 0

Answers: 1

Arets Paeglis

Reputation: 4016

Custom condition failure messages in Ada 2012

adapredicatedesign-by-contractpreconditionspost-conditions

Score: 2

Answers: 1

El Sushiboi

Reputation: 464

Design Dilemma - Context or Contract? (Java/Kotlin)

javakotlinandroid-contextdesign-by-contract

Score: 0

Answers: 2

aleator

Reputation: 4486

Comparing design by contract to type systems

haskelltypescode-contractsdesign-by-contracttype-systems

Score: 21

Answers: 5

Hans Van Slooten

Reputation: 2275

ReSharper - Possible Null Assignment when using Microsoft.Contracts

c#resharpercode-contractsdesign-by-contractmicrosoft-contracts

Score: 52

Answers: 7

catemperor

Reputation: 163

Does Perl 6 natively support Design by Contract?

rakudesign-by-contract

Score: 6

Answers: 1

llamaro25

Reputation: 692

Should precondition methods be public or private?

oopdesign-by-contractpreconditions

Score: 1

Answers: 1

Анатолий Панин

Reputation: 507

How emphasize restrictions for input data in unit testing?

pythonunit-testingpytestdesign-by-contract

Score: 1

Answers: 2

RealNamesOrHandles

Reputation: 17

Tool/Technique for Automatic Unit Test Generation based on Method Pre-/Post-Conditions

unit-testingautomated-testsdesign-by-contractpreconditionspost-conditions

Score: 0

Answers: 2

John V

Reputation: 5057

Dbc - anyone actually dare not to check preconditions in the called routines?

ooplanguage-agnosticdesign-by-contract

Score: 0

Answers: 1

user7860670

Reputation: 37587

Is it possible to enforce Design by Contract checks at compile time?

design-by-contracteiffel

Score: 1

Answers: 1

Royal Wares

Reputation: 1272

Returning Null vs Exception vs Contract

javaexceptionnulldesign-by-contract

Score: 0

Answers: 2

Pipo

Reputation: 5093

Eiffel: Unknown identifier on attached check into require statement

design-by-contracteiffelvoid-safety

Score: 0

Answers: 1

Pipo

Reputation: 5093

Eiffel: is there a way to express a double implies clause in eiffel?

design-by-contracteiffel

Score: 0

Answers: 1

zerkms

Reputation: 255085

Programming by contracts in PHP

phpdesign-patternscode-contractsdesign-by-contract

Score: 14

Answers: 4

Pipo

Reputation: 5093

Can I rely to ISE Eiffel as a programming language to offer web services through a DB connection

multiple-inheritancedesign-by-contracteiffel

Score: -3

Answers: 2

PreviousPage 2Next

StackOverflow Questions for Tag: design-by-contract

How can assertions be placed before a class initialisation list?

Benefits of using &#39;Design by Contract&#39;

rescue how to raise further or forget an exception

I need a basic concrete example on how to use TDD along with Design by Contract

eiffel: a statement for explicitly executing code when assertions are on

Custom condition failure messages in Ada 2012

Design Dilemma - Context or Contract? (Java/Kotlin)

Comparing design by contract to type systems

ReSharper - Possible Null Assignment when using Microsoft.Contracts

Does Perl 6 natively support Design by Contract?

Should precondition methods be public or private?

How emphasize restrictions for input data in unit testing?

Tool/Technique for Automatic Unit Test Generation based on Method Pre-/Post-Conditions

Dbc - anyone actually dare not to check preconditions in the called routines?

Is it possible to enforce Design by Contract checks at compile time?

Returning Null vs Exception vs Contract

Eiffel: Unknown identifier on attached check into require statement

Eiffel: is there a way to express a double implies clause in eiffel?

Programming by contracts in PHP

Can I rely to ISE Eiffel as a programming language to offer web services through a DB connection

Benefits of using 'Design by Contract'