Design by contract
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. These specifications are referred to as "contracts", in accordance with a conceptual metaphor with the conditions and obligations of business contracts.
known for
Wikipage disambiguates
ANSI/ISO C Specification LanguageAbstract data typeAda (programming language)Appserver.ioAssertion (software development)Bertrand MeyerClass invariantCobra (programming language)CodeContractsCode ContractsCode contractCode contractsCode smellCommand–query separationComment (computer programming)Const (computer programming)ContractContract-based designContract (disambiguation)Contract (software)Contract programmingCorrectness (computer science)DBCDBC (programming)D (programming language)DbCDefensive programmingDependency inversion principleDesign By ContractDesign by ContractDesign markerDesign specificationDlibEiffelStudioEiffel (programming language)Exception handlingFail-fastFail-silent systemFlow-based programmingFormal methods
Link from a Wikipage to another Wikipage
known for
paradigm
primaryTopic
Design by contract
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. These specifications are referred to as "contracts", in accordance with a conceptual metaphor with the conditions and obligations of business contracts.
has abstract
Design by contract (DbC), also ...... suitable error message if not.
@en
Design by contract (in sigla: ...... tafora di un contratto legale.
@it
El diseño por contrato es una ...... carios y C= pagos de facturas.
@es
La programmation par contrat ( ...... créée par Jean-Raymond Abrial.
@fr
Programação por contrato do in ...... ato (Programming by contract).
@pt
Programowanie kontraktowe (ang ...... e z programowaniem obiektowym.
@pl
Контрактное программирование ( ...... гражданско-правовых договорах.
@ru
Проектування за контрактом (ан ...... омленням про помилку, якщо ні.
@uk
التصميم بالعقود (بالإنجليزية: ...... ا دون أن يغير في ما اتفق عليه.
@ar
契約プログラミング(けいやくプログラミング、Programm ...... らとった DbC (ディービーシー) でよばれることが多い。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,017,425,201
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
Design by contract (DbC), also ...... gations of business contracts.
@en
Design by contract (in sigla: ...... tafora di un contratto legale.
@it
El diseño por contrato es una ...... realizado por el componente).
@es
La programmation par contrat ( ...... e de bugs dans les programmes.
@fr
Programação por contrato do in ...... ções dos contratos de negócio.
@pt
Programowanie kontraktowe (ang ...... e z programowaniem obiektowym.
@pl
Контрактное программирование ( ...... гражданско-правовых договорах.
@ru
Проектування за контрактом (ан ...... язань у бізнесових контрактах.
@uk
التصميم بالعقود (بالإنجليزية: ...... ا دون أن يغير في ما اتفق عليه.
@ar
契約プログラミング(けいやくプログラミング、Programm ...... らとった DbC (ディービーシー) でよばれることが多い。
@ja
label
Design by contract
@de
Design by contract
@en
Design by contract
@it
Diseño por contrato
@es
Perkontrakta programado
@eo
Programação por contrato
@pt
Programmation par contrat
@fr
Programowanie kontraktowe
@pl
Контрактное программирование
@ru
Проєктування за контрактом
@uk