Ruso ⇄ Inglés

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