Русский ⇄ Английский

- найдены отдельные слова

формальные методы ударения
прогр.	formal methods (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
эк.	formal techniques (A.Rezvov)
формальный метод
ИТ.	formal approach
мат.	formal method
Русский тезаурус
"Формальный метод"
общ.	в литературоведении - утверждает взгляд на художественную форму как на категорию, определяющую специфику литературы и способную к имманентному развитию или подчинённую логико-математическим законам (ср. Содержание и форма в искусстве). Сложился в немецком искусствознании на рубеже 19-20 вв. (Г. Вельфлин, О. Вальцель, В. Дибелиус, Л. Шпитцер). Особое ответвление - русская "формальная школа" (Общество изучения теории поэтического языка, ОПОЯЗ), Московский лингвистический кружок и отчасти Пражский лингвистический кружок. В 30-50-е гг. формальную методологию развивали швейцарская "школа интерпретации" (Э. Штайгер, В. Кайзер) и американская "новая критика". В 60-х гг. сформировалась новая ветвь "формального метода" - структуралистское литературоведение (см. Структурализм). Большой Энциклопедический словарь

формальный метод: метод проектирования программ, в котором используется язык формальных спецификаций: 2 фразы в 1 тематике

Программирование

2