postcondition (Q360690)
Jump to navigation
Jump to search
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it
- output condition
- postconditions
- output conditions
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | postcondition |
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Nachbedingung (Informatik)
- enwiki Postcondition
- eswiki Postcondición
- itwiki Postcondizione
- ukwiki Післяумова (формальні методи)
- zhwiki 后置条件