英语 ⇄ 俄语 +

model-based development and verification toolset 强调
编程	комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)