| Information | |
|---|---|
| has gloss | (noun) a condition that is a prerequisite precondition |
| has gloss | eng: In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification. |
| lexicalization | eng: Pre-condition |
| lexicalization | eng: precondition |
| subclass of | (noun) something that is required in advance; "Latin was a prerequisite for admission" prerequisite, requirement |
| Meaning | |
|---|---|
| Welsh | |
| lexicalization | cym: rhagamod |
| Danish | |
| lexicalization | dan: forudsætning |
| German | |
| has gloss | deu: Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Bedingungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation: Wenn sie gilt, so müssen nach Ausführung der Funktion alle Nachbedingungen erfüllt sein, sonst ist das Programm nicht korrekt. |
| lexicalization | deu: Voraussetzung |
| lexicalization | deu: Vorbedingung |
| Esperanto | |
| lexicalization | epo: antaŭkondiĉo |
| Persian | |
| Show unreliable ▼ | |
| lexicalization | fas: پيش بايست |
| lexicalization | fas: پيش شرط |
| Finnish | |
| Show unreliable ▼ | |
| lexicalization | fin: ennakkoehto |
| French | |
| lexicalization | fra: condition nécessaire |
| Hindi | |
| lexicalization | hin: pUrvaSarwa |
| Hungarian | |
| lexicalization | hun: előfeltétel |
| Italian | |
| Show unreliable ▼ | |
| lexicalization | ita: precondizione |
| Korean | |
| lexicalization | kor: 전제 조건 |
| Russian | |
| Show unreliable ▼ | |
| lexicalization | rus: предусловие |
| Castilian | |
| has gloss | spa: Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método). |
| lexicalization | spa: Precondicion |
| lexicalization | spa: precondición |
| Swedish | |
| lexicalization | swe: förutsättning |
| Turkish | |
| Show unreliable ▼ | |
| lexicalization | tur: ön koþul |
| Ukrainian | |
| has gloss | ukr: Передумо́ва — в програмуванні та формальних методах, передумовою виконання функції є правило, яке визначає, за яких умов функція матиме визначену поведінку. Передумова є частиною формальної специфікації і використовується для верифікації програм: в разі виконання передумов, мусять, відповідно, виконуватись і всі післяумови, в іншому випадку, функція не коректна. |
| lexicalization | ukr: Передумова |
| Links | |
|---|---|
| Show unreliable ▼ | |
| similar | e/Precondition |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint