| English | Russian |
| application of the embedded-systems type | приложение, разрабатываемое для систем встроенного типа (ssn) |
| applications of the embedded-systems type | приложения, разрабатываемые для систем встроенного типа (ssn) |
| big-bang testing: A type of integration testing in which software elements, hardware elements, or both are combined all at once into a component or an overall system, rather than in stages | метод тестирования "большой взрыв": вид интеграционного тестирования, в котором элементы программного или аппаратного обеспечения, или и то и другое, собираются в компонент или в целую систему сразу, а не по этапам (см. Standard glossary of terms used in Software Testing ssn) |
| common type system | общая система типов (ssn) |
| common type system class types | типы классов CTS (ssn) |
| common type system class types | типы классов общей системы типов (ssn) |
| common type system data types | типы данных CTS (ssn) |
| common type system data types | типы данных общей системы типов (ssn) |
| common type system delegate types | типы делегатов CTS (ssn) |
| common type system delegate types | типы делегатов общей системы типов (ssn) |
| common type system enumeration types | типы перечислений CTS (ssn) |
| common type system enumeration types | типы перечислений общей системы типов (ssn) |
| common type system interface types | типы интерфейсов CTS (ssn) |
| common type system interface types | типы интерфейсов общей системы типов (ssn) |
| common type system structure types | типы структур CTS (ssn) |
| common type system structure types | типы структур общей системы типов (ssn) |
| common type system type members | члены типов CTS (ssn) |
| common type system type members | члены типов общей системы типов (ssn) |
| constrained type system | система ограниченных типов (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| embedded-system type | система встроенного типа (ssn) |
| embedded-systems type | системы встроенного типа (ssn) |
| extension to the type system | расширение системы типов (языка программирования Alex_Odeychuk) |
| formalization of software object type system | формализованное описание системы типов программных объектов (ssn) |
| formalized description of software object type system | формализованное описание системы типов программных объектов (ssn) |
| Hindley–Milner type system | система типов Хиндли-Милнера (Alex_Odeychuk) |
| integrated type system | единая система типов (IBM Alex_Odeychuk) |
| intrinsic common type system data types | встроенные типы данных CTS (ssn) |
| intrinsic common type system data types | встроенные типы данных общей системы типов (ssn) |
| novel type system | принципиально новая система типов (в языке программирования Alex_Odeychuk) |
| number of inference rules in the type system | количество правил выведения типов в системе типов (Alex_Odeychuk) |
| place-based type system | система типов с распределением данных в памяти по областям (в языке распределенного параллельного программирования X10; IBM Alex_Odeychuk) |
| simple type system | простая система типов (ssn) |
| software object type system | система типов программных объектов (ssn) |
| structural type system | структурная система типов (ssn) |
| this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock | Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| this type of model is often used for modelling real-time systems | этот тип модели особенно полезен для моделирования систем реального времени (ssn) |
| this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environment | этот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы (см. Software engineering, 8th ed. / Ian Sommerville 2007) |
| transformation of type system to instance system | процесс перехода от системы типов к системе экземпляров (ssn) |
| transition from type system to instance system | переход от системы типов к системе экземпляров (ssn) |
| type of version control system | тип системы контроля версий (ssn) |
| type of version control system | тип системы управления версиями (ssn) |
| type system | система типов (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) |
| understanding the common type system | понятие общей системы типов (ssn) |
| uniform type system | унифицированная система типов (ssn) |
