POST-CONDITION


Англо-русский перевод POST-CONDITION

- postcondition постусловие в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие ср. pre-condition A description of post-conditions that describe any side effects of invoking the method — Описание постусловий, поясняющих любые побочные эффекты исполнения данных методов

Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming.      Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию.