Terms containing formal specification language

Subject	English	Russian
progr.	common formal specification language	распространённый язык формальных спецификаций (ssn)
tech.	formal specification language	язык формальных спецификаций
progr.	formal specification languages	языки формальных спецификаций (ssn)
progr.	formal specification of programming languages	формальное описание языков программирования (ssn)
progr.	formal specification of the languages elements	формальная спецификация элементов языка (ssn)
progr.	potential benefits and drawbacks of using formal specification languages	потенциальные достоинства и недостатки использования языков формальных спецификаций (ssn)
progr.	starting point for a formal specification language	отправная точка для языка формальных спецификаций (ssn)
progr.	using formal specification languages	использование языков формальных спецификаций (ssn)