design by contract (Q1200691)
Jump to navigation
Jump to search
design of software based on formal, precise and verifiable interface specifications for software components
- design-by-contract
- contract programming
- programming by contract
- design-by-contract programming
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | design by contract |
design of software based on formal, precise and verifiable interface specifications for software components |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(19 entries)
- arwiki تصميم بالعقود
- dawiki Kontraktbaseret programmering
- dewiki Design by Contract
- enwiki Design by contract
- eowiki Perkontrakta programado
- eswiki Diseño por contrato
- fiwiki Sopimuspohjainen ohjelmointi
- frwiki Programmation par contrat
- hewiki חוזה (תכנות)
- huwiki Szerződésalapú programozás
- itwiki Design by contract
- jawiki 契約プログラミング
- kowiki 계약에 의한 설계
- plwiki Programowanie kontraktowe
- ptwiki Programação por contrato
- ruwiki Контрактное программирование
- skwiki Design by contract
- ukwiki Проєктування за контрактом
- zhwiki 契约式设计