Anglais ⇄ Russe Ukrainien +

executable specification contraintes
informat.	выполняемая спецификация (составленная по типу программы с использованием языка спецификаций)
progr.	исполняемая спецификация (ssn)