英语 ⇄ 俄语 +

formally model computer software 强调
编程	формальное моделирование программного обеспечения компьютера (ssn); формальное моделирование программного обеспечения ЭВМ (ssn)