 |
Terms for subject Programming containing высоконадёжное программное обеспечение | all forms | in specified order only
| Russian | English |
| конференция по высоконадёжному программному обеспечению | high-integrity software conference (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk) |
| среда верификации высоконадёжного программного обеспечения | verification environment for high-integrity software (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |