| Subject | English | Russian |
| AI. | action postcondition | постусловие действия (what is established after the action is performed Alex_Odeychuk) |
| progr. | allowing value parameters in the postcondition | допуск входных параметров в постусловие (ssn) |
| progr. | brief description, preconditions and postconditions | краткое описание, предусловия и постусловия (ssn) |
| progr. | cause other conditions, postconditions, to become true | приводить к выполнению других условий, постусловий (ssn) |
| progr. | class-wide postcondition | постусловие надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| progr. | combining pre- and postconditions | комбинирование пред-и постусловий (ssn) |
| progr. | function postcondition | постусловие функции (специальное условие, которые проверяется при выходе из функции Alex_Odeychuk) |
| progr. | function preconditions and postconditions | предусловия и постусловия функции (Alex_Odeychuk) |
| progr. | normal course: The default sequence of steps in a use case, which leads to satisfying the use case's postconditions and letting the user achieve his goal | нормальное направление развития: последовательность действий, заданная по умолчанию в варианте использования, которая ведёт к удовлетворению выходных условий этого варианта использования или достижению целей пользователей (см. Software Requirements by Karl E. Wiegers 2003 ssn) |
| progr. | other conditions, postconditions, to become true | выполнение других условий, постусловий (ssn) |
| progr. | postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program | постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения (ISO/IEC 2382:2015 ssn) |
| progr. | pre- and postconditions | пред-и постусловия (ssn) |
| progr. | preconditions and postconditions | предусловия и постусловия (ssn) |
| progr. | satisfying the use case's postconditions | удовлетворение выходных условий этого варианта использования (ssn) |
| progr. | the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true | Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий |
| progr. | use case's postconditions | выходные условия варианта использования (ssn) |