| Russian | English |
| Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий | the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true |
| выполнение других условий, постусловий | other conditions, postconditions, to become true (ssn) |
| допуск входных параметров в постусловие | allowing value parameters in the postcondition (ssn) |
| комбинирование пред-и постусловий | combining pre- and postconditions (ssn) |
| краткое описание, предусловия и постусловия | brief description, preconditions and postconditions (ssn) |
| оператор цикла с постусловием | repeat-until statement (ssn) |
| оператор цикла с постусловием | do until (ssn) |
| оператор цикла с постусловием | do-while statement (в языке программирования Х10; IBM Alex_Odeychuk) |
| постусловие надклассового типа | class-wide postcondition (корпорации AdaCore Alex_Odeychuk) |
| постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения | postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program (ISO/IEC 2382:2015 ssn) |
| постусловие функции | function postcondition (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk) |
| пред-и постусловия | pre- and postconditions (ssn) |
| предусловия и постусловия | pre and post conditions (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk) |
| предусловия и постусловия | preconditions and postconditions (ssn) |
| предусловия и постусловия функции | function preconditions and postconditions (Alex_Odeychuk) |
| приводить к выполнению других условий, постусловий | cause other conditions, postconditions, to become true (ssn) |
| цикл с постусловием | exit-condition loop (ZXCompare) |
| цикл с постусловием | foot-controlled loop (to_work) |
| цикл с постусловием | repeat-until loop (ssn) |
| цикл с постусловием | posttested loop (условие завершения цикла проверяется после исполнения тела цикла. Ant: pretested loop ssn) |
| цикл с постусловием | posttest loop (цикл, в котором предикат управления циклом (loop control predicate) вычисляется после обработки внутри цикла. В циклах с постусловием обработка выполняется по меньшей мере один раз ssn) |
| цикл с постусловием | post-test loop (ptraci) |
