- postcondition постусловие в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие ср. pre-condition A description of post-conditions that describe any side effects of invoking the method — Описание постусловий, поясняющих любые побочные эффекты исполнения данных методов
POST-CONDITION
Англо-русский перевод POST-CONDITION
Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. 1998-2004