Tag design-by-contract - Это страница 6 - GeneraCodice

Can this statement be regarded as a class invariant?

https://www.generacodice.com/ru/articolo/3376719/can-this-statement-be-regarded-as-a-class-invariant
  computer-science  -  invariants  -  semantics  -  design-by-contract
StackOverflow StackOverflow

How do you enforce API contracts across mutliple stacks?

https://www.generacodice.com/ru/articolo/3253421/how-do-you-enforce-api-contracts-across-mutliple-stacks
  documentation  -  api  -  design-by-contract  -  design-principles  -  programming-practices
softwareengineering.stackexchange softwareengineering.stackexchange

Handling switch statement

https://www.generacodice.com/ru/articolo/3196584/handling-switch-statement
  c#  -  design-by-contract  -  return  -  switch-statement
StackOverflow StackOverflow

Contract based programming with verifications

https://www.generacodice.com/ru/articolo/3127781/contract-based-programming-with-verifications
  java  -  design-patterns  -  design-by-contract  -  design
softwareengineering.stackexchange softwareengineering.stackexchange

API DESIGN: Store Table of function pointers in client or dynamically in api service

https://www.generacodice.com/ru/articolo/2988615/api-design-store-table-of-function-pointers-in-client-or-dynamically-in-api-service
  c++  -  frameworks  -  encapsulation  -  design-by-contract  -  design
softwareengineering.stackexchange softwareengineering.stackexchange

why using 'assert' in a project? (and why using it so many times)

https://www.generacodice.com/ru/articolo/2984206/why-using-assert-in-a-project-and-why-using-it-so-many-times
  objective-c  -  assert  -  design-by-contract
StackOverflow StackOverflow

Should I assert the preconditions of functions in a public API?

https://www.generacodice.com/ru/articolo/2914530/should-i-assert-the-preconditions-of-functions-in-a-public-api
  c  -  validation  -  design-by-contract  -  code-contracts  -  code-quality
softwareengineering.stackexchange softwareengineering.stackexchange

How to loosen input contracts by inheritance?

https://www.generacodice.com/ru/articolo/2888125/how-to-loosen-input-contracts-by-inheritance
  inheritance  -  design-by-contract  -  liskov-substitution
softwareengineering.stackexchange softwareengineering.stackexchange

Is Design by Contract the same as using Interfaces to create a “contract”?

https://www.generacodice.com/ru/articolo/2777210/is-design-by-contract-the-same-as-using-interfaces-to-create-a-contract
  design-by-contract  -  interfaces  -  object-oriented-design
softwareengineering.stackexchange softwareengineering.stackexchange

partial design by contract with assertions

https://www.generacodice.com/ru/articolo/2770802/partial-design-by-contract-with-assertions
  language-agnostic  -  java  -  design-by-contract  -  assertions
StackOverflow StackOverflow
Результаты найдены: 169
scroll top