Russian ⇄ English

требуемые свойства программного обеспечения stresses
softw.	formal specification (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)