Terms containing формальная спецификация

Subject	Russian	English
progr.	использование языков формальных спецификаций	using formal specification languages (ssn)
progr.	написание формальных спецификаций	writing formal specifications (ssn)
progr.	отправная точка для языка формальных спецификаций	starting point for a formal specification language (ssn)
progr.	по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний	for these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering)
progr.	потенциальные достоинства и недостатки использования языков формальных спецификаций	potential benefits and drawbacks of using formal specification languages (ssn)
progr.	проверка соответствия программного обеспечения формальным спецификациям	software validation (Alex_Odeychuk)
progr.	проверка соответствия формальным спецификациям и тестирование программного обеспечения	software validation and testing (Alex_Odeychuk)
progr.	распространённый язык формальных спецификаций	common formal specification language (ssn)
softw.	система построения доказательства соответствия модели программы её формальной спецификации	formal proof engine (Alex_Odeychuk)
softw.	соответствовать формальной спецификации	be correct with regard to a given specification (Electronic Design Alex_Odeychuk)
progr.	соответствовать формальной спецификации требуемого поведения программы	meet a formal specification of the program's required behavior. (корпорации AdaCore Alex_Odeychuk)
softw.	формальная верификация реализации на соответствие спецификации	formal verification of an implementation against a specification (adacore.com Alex_Odeychuk)
progr.	формальная модель и спецификация	formal model and specification (InfoWorld Alex_Odeychuk)
Makarov.	формальная спецификация	formal specification
progr.	формальная спецификация требований	formal requirements specification (ssn)
progr.	формальная спецификация элементов языка	formal specification of the languages elements (ssn)
progr.	формальное определение относится только к внешним спецификациям	formal definition applies only to externals (ssn)
IT	формальные спецификации	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)