英语 ⇄ 俄语 +

formal methods in software engineering 强调
软件	формальные методы инженерии программного обеспечения (Alex_Odeychuk)