![]() |
Subject | Russian | English |
progr. | инструментальное средство разработки приложений с высоким уровнем полноты безопасности | high-integrity tool (корпорации AdaCore Alex_Odeychuk) |
progr. | объектно-ориентированное программирование приложений с высоким уровнем полноты безопасности | high-integrity object-oriented programming (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
progr. | приложение с высоким уровнем полноты безопасности | high-integrity application (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |