| Russian | English |
| в ещё одном аспекте для программного компонента системы UM, такого как внешний метод, функция, переменная или действие, среда программирования использует инструментальное средство XML функции-обёртки для проверки существования такого внешнего программного компонента системы UM во время компоновки и получает информацию о версии, которая служит для проверки доступности этой же версии при выполнении. Таким образом, гарантируется целостность системы | in yet another aspect, for a UM software component such as an external method, function, variable or action, the programming environment utilizes a function wrapping XML tool to validate the existence of such external UM software components at build-time and captures version information that serves to verify the availability of the same version upon execution. Thereby, system integrity is assured |
| контракт с проверкой соблюдения во время выполнения | runtime contract (InfoWorld Alex_Odeychuk) |
| независимая проверка ограничений синхронизации, осуществляемая во время синтеза | independent verification of the timing constraints realised during the synthesis (ssn) |
| проверка в реальном времени | real-time verification (ssn) |
| проверка в реальном масштабе времени | real-time verification (ssn) |
| проверка во время выполнения | runtime check (Alex_Odeychuk) |
| проверка во время инициализации | initialization checking (ssn) |
| проверка во время компиляции | static assertion (Alex_Odeychuk) |
| проверка доступности во время выполнения | run-time accessibility check (Alex_Odeychuk) |
| проверка исключений во время компиляции | compile-time checking of exceptions (Alex_Odeychuk) |
| проверка ограничений синхронизации, осуществляемая во время синтеза | verification of the timing constraints realised during the synthesis (ssn) |
| проверка синтаксиса в реальном времени | real-time syntax checking (Alex_Odeychuk) |
| проверка систем реального времени | validation of real-time systems (ssn) |
| проверка согласования типов во время выполнения | runtime checking (корпорации AdaCore Alex_Odeychuk) |
| проверка согласования типов во время выполнения | run-time type check (Alex_Odeychuk) |
| проверка соответствия типов во время выполнения | runtime type checking (oracle.com Alex_Odeychuk) |
| проверка типов во время выполнения | runtime checking (Alex_Odeychuk) |
| проверка типов во время компиляции | compile-time type checking (Alex_Odeychuk) |
| проверка типов во время компоновки | link-time type checking (Alex_Odeychuk) |
| проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов | error checking during the execution of the most frequently called members (ssn) |
| проходить проверку во время компиляции | pass a compile-time check (Alex_Odeychuk) |
| с проверкой во время выполнения | checked at runtime (Alex_Odeychuk) |
| с проверкой согласования типов во время выполнения | with a run-time type check (Alex_Odeychuk) |
