| Subject | English | Russian |
| progr. | class hierarchy consistency | согласованность иерархии классов (корпорации AdaCore Alex_Odeychuk) |
| progr. | verification of class hierarchy consistency | верификация согласованности иерархии классов (корпорации AdaCore Alex_Odeychuk) |