Subject | English | Russian |
mil. | advanced development verification test-contractor | проверочные испытания, проводимые подрядчиком в процессе перспективной разработки |
mil. | advanced development verification test-government | проверочные испытания, проводимые государственными организациями в процессе перспективной разработки |
progr. | design, development and verification activities | деятельность по проектированию, разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
progr. | development and verification cost | стоимость разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
progr. | development and verification tools | инструментальные средства разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk) |
progr. | development and verification tools for safety- and mission-critical systems | инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore Alex_Odeychuk) |
astronaut. | development verification | экспериментальная отработка образцов |
astronaut. | development verification plan | КПЭО |
astronaut. | development verification plan | комплексная программа экспериментальной отработки опытных образцов |
progr. | in the development and verification process | в процессе разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
softw. | incremental development and verification process | пошаговая разработка и верификация программного обеспечения (разработка модели или прочих элементов системы в виде ряда законченных версий, каждая из которых выполнена на определенном уровне детализации и функциональности, причем таким образом, что каждая новая версия программного обеспечения содержит дополнения к предыдущей. Позволяет сравнительно легко выполнить модификацию, тестирование, отладку и формальную верификацию программного обеспечения (внеся небольшие изменения в предыдущую версию) Alex_Odeychuk) |
progr. | model-based development and verification | модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
progr. | model-based development and verification tool | инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk) |
progr. | model-based development and verification toolset | комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
tech. | software development and verification facilities | оборудование для разработки и проверки средств программного обеспечения |
mil., avia. | software development and verification facilities | оборудование для разработки и проверки средств программного обеспечения |
tech. | software development and verification system | система разработки и проверки средств программного обеспечения |
mil., avia. | software development and verification system | система разработки и проверки средств программного обеспечения |
mil. | verification development test | проверочное наладочное испытание в процессе разработки |
softw. | verification tool development | разработка инструментов верификации (Alex_Odeychuk) |
progr. | verification under different development systems | проверка под различными системами разработки программ (ssn) |