 |
Terms for subject Programming containing verification environment | all forms | exact matches only | in specified order only
| English | Russian |
| verification environment for high-integrity software | среда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification environment for high-integrity software | среда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| verification of the integrity of a produced UM application produced by the programming environment and used on a UM execution machine | проверка целостности созданного приложения системы UM, созданной посредством среды программирования и используемой на машине исполнения системы UM (ssn) |