Смотреть больше слов в «Новом большом англо-русском словаре»
- postcondition постусловие в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие ср. pre-condition A description of post-conditions that describe any side effects of invoking the method — Описание постусловий, поясняющих любые побочные эффекты исполнения данных методов... смотреть
постусловие; выходное условие. В доказательстве правильности программ и аксиоматической семантике языков программирования - логическое выражение, которое должно быть истинно после выполнения некоторого действия, если перед выполнением этого действия было истинно соответствующее предусловие (precondition).... смотреть
постусловие, выходное условие ( условие ( assertion ), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие( precondition ); является частью контракта ( contract ) )... смотреть
{͵pəʋstkənʹdıʃ(ə)n} n постусловие; выходное условие
[͵pəʋstkənʹdıʃ(ə)n] nпостусловие; выходное условие
выходное условие
(n) выходное условие; постусловие
выходное условие, пост-условие
выходное условие, пост-условие
постумова; вихідна умова
- post-condition