אנגלית ⇄ רוסית +

formal model and specification מתח
.תִכנו	формальная модель и спецификация (InfoWorld Alex_Odeychuk)