Terms containing formal methods

Subject	English	Russian
softw.	based on formal methods	на основе методов формальной верификации программного обеспечения (Alex_Odeychuk)
Makarov.	formal axiomatic method	формальный аксиоматический метод
busin.	formal market research methods	стандартные методы исследования рынка
busin.	formal market research methods	официальные методы исследования рынка
math.	formal method	формальный метод
progr.	formal method verification toolset	комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)
softw., context.	formal methods	формальные методы инженерии программного обеспечения (Alex_Odeychuk)
progr.	formal methods	формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
progr.	formal methods and critical systems	формальные методы и критические системы (ssn)
progr.	formal methods concepts	концепции формальных методов (ssn)
softw.	formal methods in software engineering	формальные методы инженерии программного обеспечения (Alex_Odeychuk)
progr.	formal methods of describing syntax	формальные методы описания синтаксиса (ssn)
math.	formal methods of mathematics	формальные методы математики (Alex_Odeychuk)
softw.	formal methods toolsuite	интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk)
anim.husb.	formal-titration method	метод формального титрования белков
Makarov.	formal-titration method	метод формального титрования (белка)
progr.	industrial use of formal methods	применение методов формальной верификации программного обеспечения промышленного назначения (корпорации AdaCore Alex_Odeychuk)
progr.	semi-formal methods	полуформальные методы (ssn)