| Subject | English | Russian |
| progr. | static analysis for upfront detection of potential errors | статический анализ с целью заблаговременного выявления потенциальный ошибок (корпорации AdaCore Alex_Odeychuk) |
| sec.sys. | upfront detection of potential errors | заблаговременное выявление потенциальный ошибок (корпорации AdaCore Alex_Odeychuk) |