| English | Russian |
| 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) |
| collection of objects characterized by functions, axioms and preconditions | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (ssn) |
| system: A collection of components organized to accomplish a specific function or set of functions | система: совокупность компонентов, организованная для выполнения определённой функции или набора функций (см. IEEE 610, Standard glossary of terms used in Software Testing ssn) |