| English | Russian |
| a set of input values and preconditions | набор входных значений и предусловий (ssn) |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| action precondition axiom | постулат предусловий действия (ssn) |
| behavior: The response of a component or system to a set of input values and preconditions | поведение: отклик компонента или системы на набор входных значений и предусловий (см. Standard glossary of terms used in Software Testing ssn) |
| brief description, preconditions and postconditions | краткое описание, предусловия и постусловия (ssn) |
| cause the preconditions to cease to hold | вызывать нарушение предусловий (ssn) |
| class-wide precondition | предусловие надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| class-wide precondition check | проверка предусловия надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| class-wide precondition expression | выражение-предусловие для надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| collection of objects characterized by functions, axioms and preconditions | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (ssn) |
| function precondition | предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) |
| function preconditions and postconditions | предусловия и постусловия функции (Alex_Odeychuk) |
| functions, axioms and preconditions | функции, аксиомы и предусловия (ssn) |
| in the form of a precondition | в форме предусловия (корпорации AdaCore Alex_Odeychuk) |
| precondition conjunct | элемент предусловия (Alex_Odeychuk) |
| precondition-related | связанный с предусловием (Alex_Odeychuk) |
| Precondition: The monitoring operator is logged in | Предусловие: дежурный оператор вошёл в систему (см. Software Modeling and Design by Hassan Gomaa 2011 ssn) |
| preconditions and postconditions | предусловия и постусловия (ssn) |
| preconditions of the event | предусловия события (ssn) |
| preconditions to cease to hold | нарушение предусловий (ssn) |
| the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true | Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий |
