postcondition

постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract))

Engineering (En-Ru)

postcondition

выходное условие, пост-условие

Откройте все бесплатные
тематические словари

Примеры из текстов

Postconditions are the routine's or class's obligations to the code that uses it.
Постусловия — это обязательства метода или класса перед кодом, который их использует.
McConnell, Steve / Code Complete: A Practical Handbook of Software ConstructionМакконнелл, Стив / Совершенный код: Практическое руководство по разработке программного обеспечения
Совершенный код: Практическое руководство по разработке программного обеспечения
Макконнелл, Стив
© Перевод на русский язык, Microsoft Corporation, 2004
© Оригинальное издание на английском языке, Steven С. McConnell, 2004
Code Complete: A Practical Handbook of Software Construction
McConnell, Steve
© 2004 by Steven С. McConnell

Добавить в мой словарь

postcondition1/2

постусловие; выходное условие

Переводы пользователей

Пока нет переводов этого текста.
Будьте первым, кто переведёт его!

Формы слова

postcondition

noun

	Singular	Plural
Common case	postcondition	postconditions
Possessive case	postcondition's	postconditions'