See design by contract in All languages combined, or Wiktionary
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "Q92946",
"nobycat": "1"
},
"expansion": "Coined by French computer scientist Bertrand Meyer",
"name": "coin"
}
],
"etymology_text": "Coined by French computer scientist Bertrand Meyer.",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "design by contract (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Programming",
"orig": "en:Programming",
"parents": [
"Computing",
"Software engineering",
"Technology",
"Computer science",
"Engineering",
"Software",
"All topics",
"Sciences",
"Applied sciences",
"Media",
"Fundamental",
"Communication"
],
"source": "w"
}
],
"glosses": [
"A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants."
],
"id": "en-design_by_contract-en-noun-BfEe2kOh",
"links": [
[
"programming",
"programming#Noun"
],
[
"software",
"software"
],
[
"contract",
"contract"
],
[
"precondition",
"precondition"
],
[
"postcondition",
"postcondition"
],
[
"invariant",
"invariant"
]
],
"raw_glosses": [
"(programming) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants."
],
"synonyms": [
{
"word": "contract programming"
},
{
"word": "DbC"
},
{
"word": "programming by contract"
}
],
"tags": [
"uncountable"
],
"topics": [
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"programming",
"sciences"
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "Translations",
"word": "sopimuspohjainen ohjelmointi"
},
{
"code": "de",
"lang": "German",
"sense": "Translations",
"tags": [
"masculine"
],
"word": "Design by Contract"
}
]
}
],
"word": "design by contract"
}
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "Q92946",
"nobycat": "1"
},
"expansion": "Coined by French computer scientist Bertrand Meyer",
"name": "coin"
}
],
"etymology_text": "Coined by French computer scientist Bertrand Meyer.",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "design by contract (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English coinages",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Finnish translations",
"Terms with German translations",
"Translation table header lacks gloss",
"en:Programming"
],
"glosses": [
"A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants."
],
"links": [
[
"programming",
"programming#Noun"
],
[
"software",
"software"
],
[
"contract",
"contract"
],
[
"precondition",
"precondition"
],
[
"postcondition",
"postcondition"
],
[
"invariant",
"invariant"
]
],
"raw_glosses": [
"(programming) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants."
],
"tags": [
"uncountable"
],
"topics": [
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"programming",
"sciences"
]
}
],
"synonyms": [
{
"word": "contract programming"
},
{
"word": "DbC"
},
{
"word": "programming by contract"
}
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "Translations",
"word": "sopimuspohjainen ohjelmointi"
},
{
"code": "de",
"lang": "German",
"sense": "Translations",
"tags": [
"masculine"
],
"word": "Design by Contract"
}
],
"word": "design by contract"
}
Download raw JSONL data for design by contract meaning in English (1.8kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-11-28 from the enwiktionary dump dated 2024-11-21 using wiktextract (65a6e81 and 0dbea76). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.