Terms for subject Programming containing язык формальных спецификаций

Russian	English
отправная точка для языка формальных спецификаций	starting point for a formal specification language (ssn)
распространённый язык формальных спецификаций	common formal specification language (ssn)
формальная спецификация элементов языка	formal specification of the languages elements (ssn)
языки формальных спецификаций	formal specification languages (ssn)