Terms containing formal specification

Subject	English	Russian
progr.	common formal specification language	распространённый язык формальных спецификаций (ssn)
progr.	formal model and specification	формальная модель и спецификация (InfoWorld Alex_Odeychuk)
progr.	formal requirements specification	формальная спецификация требований (ssn)
IT	formal specification	спецификация формата
softw.	formal specification	требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
data.prot.	formal specification	формализованная спецификация
IT	formal specification	формальное описание
IT	formal specification	формальные спецификации
Makarov.	formal specification	формальная спецификация
progr.	formal specification in the software process	формальные спецификации в процессе разработки программного обеспечения (ssn)
progr.	formal specification in the software process	формальные спецификации в процессе разработки ПО (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)
softw.	formal verification of an implementation against a specification	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)
progr.	meet a formal specification of the program's required behavior.	соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk)
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)
progr.	writing formal specifications	написание формальных спецификаций (ssn)