|
|
| gen. |
высоконадёжный (ПО с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций alex_) |
| automat. |
с высоким уровнем интеграции (напр., о системе управления) |
| progr. |
с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| softw. |
с высокими требованиями по технической и информационной безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk); с высокими требованиями по надёжности и безопасности (Alex_Odeychuk); с высокими требованиями по безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk); с высоким уровнем доверенности и защищённости (от несанкционированного доступа Alex_Odeychuk); высоконадёжный (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
|
|
| progr. |
повышенной надёжности (Alex_Odeychuk) |
| tech. |
высокая достоверность |
