ru

Послеусловие

en

Translation of "послеусловие" into English

послеусловие
Noun
raiting
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Специальный термин в программировании, логике и формальных спецификациях.
Used in logic, programming, and formal specification: a condition that must hold after an operation, procedure, or algorithm has completed.
Послеусловие метода требует, чтобы результат был положительным числом.
The method's postcondition requires the result to be a positive number.

Definitions

послеусловие
Noun
raiting
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Условие, которое должно быть выполнено после завершения действия, операции, процедуры или алгоритма.
Послеусловие метода требует, чтобы результат был положительным числом.

Related words