Subject | English | Russian |
ed. | European Association of Institutions of Non-Formal Education for Children and Young People | Европейская ассоциация учреждений свободного времени детей и молодёжи (EAICY eaicy.org hellbourne) |
product. | formal acceptance | официальное принятие (WiseSnake) |
product. | formal acceptance | официальная приёмка (WiseSnake) |
media. | formal accommodation | официальная договорённость (bigmaxus) |
logist. | formal accounting | учёт и отчётность по документам установленной формы |
dipl. | formal address | официальная речь |
law | formal admission by letter | формальное признание факта в ответ на уведомление с требованием признать факты по делу |
law | formal admission by letter | формальное признание факта в письме, приобщённом к материалам дела |
Makarov. | formal admission in answer to a notice to admit facts | формальное признание факта в ответ на уведомление с требованием признать факты по делу |
mil. | formal alert system | официальная система тревог (НАТО) |
mil. | formal alerts | официальная система тревоги (НАТО) |
gen. | formal amendment | официальная поправка (Lavrov) |
dipl. | formal amendment | поправка редакционного характера |
gen. | formal amendment | редакционная поправка (Lavrov) |
softw. | formal analysis support | поддержка формального анализа (Alex_Odeychuk) |
progr. | formal analysis support | поддержка формального анализа исходного кода (Alex_Odeychuk) |
progr. | formal and non-formal representation of call | формальное и неформальное представление вызова (ssn) |
progr. | formal and rigorous manner | формальная и строгая форма (ssn) |
dipl. | formal appeal | официальная апелляция |
gas.proc. | formal application for a permit | подача заявления на получение разрешения официальных властей (напр., на строительство газогенератора или проведение определённых испытаний) |
corp.gov. | formal appraisal | формальная оценка (igisheva) |
econ. | formal approval | официальное подтверждение (Aziz) |
progr. | formal architecture inspections | формальные инспекции архитектуры (ssn) |
law | formal arrest | судебное задержание (VLZ_58) |
law | formal arrest | формальное задержание (VLZ_58) |
progr. | formal assertion | формальное высказывание (ssn) |
dipl. | formal associate relations | официальные отношения сотрудничества (Alex_Odeychuk) |
gen. | formal atmosphere | официальная атмосфера |
gen. | formal attire | одежда для торжественных вечерних приёмов |
gen. | formal attire | длинное вечернее платье |
econ. | formal authorities | официальные полномочия |
psychol. | formal authority | формальная власть |
gen. | formal authority | официальные полномочия (bookworm) |
gen. | formal banquet | официальный приём (kee46) |
media. | formal barriers | официальные барьеры (bigmaxus) |
dipl. | formal bilateral meeting | официальная двусторонняя встреча (USA Today Alex_Odeychuk) |
math. | formal calculus | формальное исчисление |
dipl. | formal cares of protocol | формальная сто рона протокола |
polit. | formal cash transfer system | формальная система перевода денежных средств (MichaelBurov) |
psychol. | formal cause | формальная причина |
O&G, sahk.s. | formal cause & effects | формальная причинно-следственная связь |
gen. | formal celebration | официальное празднование |
gen. | formal ceremony | торжественное открытие |
gen. | formal ceremony | официальная церемония (triumfov) |
gen. | formal changes | формальные поправки |
psychol. | formal characteristic | определяющая черта (характеристика) |
gen. | formal charge | обвинение, предъявленное с соблюдением необходимых формальностей |
progr. | formal check-in procedure | формальная процедура регистрации кода (ssn) |
dipl. | formal clause | пункт процедурного характера (не затрагивающий существа) |
dipl. | formal clause | клаузула формального характера (не затрагивающий существа) |
dipl. | formal clause | статья процедурного характера (не затрагивающий существа) |
dipl. | formal clause | пункт формального характера (не затрагивающий существа) |
law | formal clause | статья формального характера |
textile | formal cloth | форменная ткань |
gen. | formal clothes | одежда для торжественных вечерних приёмов |
gen. | formal clothes | длинное вечернее платье |
progr. | formal code inspections | формальные инспекции кода (ssn) |
el. | formal coding attack | атака алгебраическим методом |
el. | formal coding attack | атака методом формального анализа шифра |
fin. | formal communication | официальное общение |
gen. | formal communication | официальная переписка (vp_73) |
photo. | formal composition | формальная композиция (AFilinovTranslation) |
IT | formal computational model | формальная вычислительная модель (Alex_Odeychuk) |
math.anal. | formal concept analysis | анализ формальных понятий (термин использовался на сайте Высшей школы экономики Darkwing duck) |
dipl. | formal condition of belligerency | формальное состояние войны |
dipl. | formal conference | официальная конференция |
econ. | formal confirmation | официальное подтверждение |
dipl. | formal confirmation of a statement | официальное подтверждение заявления |
polit. | formal contacts | официальные связи (ssn) |
polit. | formal contacts | официальные контакты (ssn) |
construct. | formal contract | контракт, заключённый "по форме" |
dipl. | formal contracts | официальные контракты |
invest. | formal controls | формальные инструменты контроля (A.Rezvov) |
gen. | formal conversation | официальная беседа (sophistt) |
HR | formal courses | профессиональные краткосрочные курсы (Trident) |
ling. | formal criteria | формальные критерии |
busin. | formal criteria | установленные критерии (Alexander Matytsin) |
gen. | formal crosswalk | формальная схема перехода (имеется ввиду взаимосвязь, схема соответствие между двумя различными системами Zakir Khodjaev) |
psychol. | formal culture | формальная культура |
gen. | formal decision | официальное решение (Кунделев) |
law | formal defect | недостаток формы |
progr. | formal definition | формализованное определение (ssn) |
progr. | formal definition | формальное описание (ssn) |
progr. | formal definition applies only to externals | формальное определение относится только к внешним спецификациям (ssn) |
progr. | formal definition of a context-free grammar | формальное определение контекстно-свободной грамматики (ssn) |
progr. | formal definition of correctness | формальное определение правильности (ssn) |
progr. | formal definition of how the application operates | формальное описание того, как работает приложение (ssn) |
progr. | formal definition of the notion of modularity | формальное определение модульности (ssn) |
progr. | formal definitions | формальные определения (ssn) |
progr. | formal deployment procedure | формальная процедура внедрения (ssn) |
mil., avia. | formal description technique | метод формального описания |
agric. | formal design | проект регулярного стиля (сада) |
progr. | formal design paradigm | парадигма система понятий формального проекта (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
progr. | formal detailed design | формальное детальное проектирование (ssn) |
scient. | formal development | формальная разработка (I. Havkin) |
progr. | formal development of the system | формальное построение системы (ssn) |
relig. | formal dinner | застолье после масонских работ (Alex_Odeychuk) |
relig. | formal dinner | масонская агапа (масонский пир; к масонским агапам (пирам) масоны относятся не как к простому приёму пищи, но как к церемониям сокровенным касательно образов и философским относительно принципов. В масонстве эти агапы установлены не ради простого наслаждения: эти пиры через особые образы дополняют аллегории и символы, развитие которых раскрывают посвящения и учения различных масонских степеней Alex_Odeychuk) |
psychol. | formal discipline | формальная дисциплина |
gen. | formal discourse | культура речи (Liv Bliss) |
law | formal diversion | официальное исключение деяния или субъекта из юрисдикции уголовных судов |
law | formal diversion | официальное исключение субъекта из юрисдикции уголовных судов |
law | formal diversion | официальное исключение деяния из юрисдикции уголовных судов |
Apollo-Soyuz | formal documentation | официальная документация |
progr. | formal domain specific languages | формальные специфичные для домена языки (ssn) |
dipl. | formal dress | вечернее платье |
gen. | formal dress | форма одежды парадная (Taras) |
gen. | formal dress | одежда для торжественных вечерних приёмов |
econ. | formal economy | официальная экономика (по сравнению с теневой dafni) |
econ. | formal economy | белая экономика (vs. shadow economy and/or black market mizgertina) |
econ. | formal economy | формальная экономика (MyxuH) |
gen. | formal education | книжная образованность (Liv Bliss) |
mil. | formal education | предварительная общеобразовательная подготовка (до поступления на военную службу) |
gen. | formal education | использование классических методов |
gen. | formal education | систематическое образование (ssn) |
econ. | formal education | образование в учебных заведениях |
gen. | formal education | образование, полученное в учебном заведении |
notar. | formal element of a definition of a crime | состав преступления |
gen. | formal elements of the crimes | признаки составов преступлений (ABelonogov) |
dipl. | formal entrance into an existing treaty | формальное присоединение к существующему договору |
ling. | formal equivalence | структурное заимствование (Ivan Pisarev) |
ling. | formal equivalence | семантическая калька (Ivan Pisarev) |
ling. | formal equivalence | иноязычная модель фразы (Ivan Pisarev) |
ling. | formal equivalence | заимствованная конструкция (Ivan Pisarev) |
ling. | formal equivalence | лексическая калька (Ivan Pisarev) |
ling. | formal equivalence | перевод слово в слово (Ivan Pisarev) |
ling. | formal equivalence | синтаксическая калька (Ivan Pisarev) |
ling. | formal equivalence | морфологическая калька (Ivan Pisarev) |
ling. | formal equivalence | словообразовательная калька (Ivan Pisarev) |
ling. | formal equivalence | фразеологическая калька (Ivan Pisarev) |
ling. | formal equivalence | формальное соответствие (Ivan Pisarev) |
ling. | formal equivalence | копирование структуры (Ivan Pisarev) |
ling. | formal equivalence | перевод по аналогии (Ivan Pisarev) |
ling. | formal equivalence | лингвистическая калька (Ivan Pisarev) |
gen. | formal estimate | официальная оценка (dms) |
adv. | formal event | официальное мероприятие |
Makarov. | formal event | официальное мероприятие (заседание и т.п.) |
law | formal examination | экспертиза соблюдения формальных требований |
mining. | formal examination | официальная экспертиза (шахты, рудника, месторождения) |
patents. | formal examination | проверка соответствия требованиям, предъявляемым к форме |
progr. | formal examination | формальное знакомство (ssn) |
geol. | formal examination | детальная экспертиза (месторождения, рудника) |
patents. | formal examination of the application | формальное рассмотрение заявки |
econ. | formal exchange | организованная биржа |
psychol. | formal exercises | формальное заучивание |
pharma. | formal experimental designs | официальные экспериментальные планы (kat_j) |
notar. | formal expert examination | экспертиза |
Gruzovik | formal expression | выразитель формы |
hydrol. | formal extrapolation | формальная экстраполяция |
fin. | formal financial services | официальные финансовые услуги (Beloshapkina) |
gen. | formal garden | сад паркового типа (dreamjam) |
agric. | formal garden | сад в классическом стиле |
agric. | formal garden | сад в регулярном стиле |
gen. | formal garden | сад-парк (dreamjam) |
Makarov. | formal gardening | формовое садоводство |
Makarov. | formal gardening | шпалерное садоводство |
agric. | formal gardening | садоводство в регулярном стиле |
agric. | formal gardening | садоводство в классическом стиле |
agrochem. | formal gardening | шпалерная культура (растений) |
progr. | formal generic declaration | объявление формального параметра настройки (ssn) |
progr. | formal generic declaration in an entity declaration | объявление формального параметра настройки в объявлении объекта (ssn) |
polit. | formal government job | государственная должность государственной службы (New York Times Alex_Odeychuk) |
polygr. | formal greeting card | открытка для официальных поздравлений (translator911) |
fin. | formal grounds | формальное основание (Alex Lilo) |
obs. | formal guard mount | вахтпарад (Супру) |
law | formal hearing | официальное слушание дела |
IMF. | formal ineligibility | несоответствие официальным требованиям |
IMF. | formal ineligibility | неприемлемость на основе официальных критериев |
gen. | formal input | объём формальностей (Toropat) |
dipl. | formal inspection | официальное инспектирование |
bank. | formal institution | формальная организация (tlumach) |
law | formal institution | орган публичной власти (Charlotte von Bremer) |
gen. | formal interpretation | официальное толкование (Alexander Demidov) |
gen. | formal interview | официальная часть интервью (bookworm) |
gen. | formal investigation | официальное расследование (bookworm) |
gen. | formal invitation | официальное приглашение |
ling. | formal language | стиль деловой прозы |
ed. | formal language qualification | диплом, подтверждающий квалификацию по иностранному языку (gov.uk Alex_Odeychuk) |
IT | formal language theory | теория формальных языков |
microel. | formal layout description language | язык формального описания топологии |
psychol. | formal leadership | формальное руководство |
law | formal legal capacity | правоспособность |
gen. | formal letter | официальное письмо (Franka_LV) |
fin. | formal letter of awards | официальное письмо о назначении стипендии |
progr. | formal linguistics | формальная лингвистика (ssn) |
progr. | formal logical system | формальная логическая система (ssn) |
progr. | formal logical systems | формальные логические системы (ssn) |
O&G, tengiz. | Formal Maintenance Training Program | официальная программа обучения персонала техобслуживания (Yeldar Azanbayev) |
econ. | formal market | организованная биржа |
fin. | formal market for securities | ОРЦБ (организованный рынок ценных бумаг andrew_egroups) |
progr. | formal mathematical proof | формальное математическое доказательство (ssn) |
patents. | formal matter | формальные признаки |
gen. | formal mediation | официальное посредничество (ssn) |
busin. | formal meeting | официальное совещание (translator911) |
gen. | formal meeting | торжественное заседание |
gen. | formal men's wear hire | прокат деловых мужских костюмов (slimy-slim) |
media. | formal message | сообщение, формат которого жёстко контролируется для облегчения его передачи, обработки и распределения |
progr. | formal method verification toolset | комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk) |
progr. | formal methods | формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) |
progr. | formal methods and critical systems | формальные методы и критические системы (ssn) |
progr. | formal methods concepts | концепции формальных методов (ssn) |
mil. | formal military | парадная форма |
IT | formal minimization procedure | формальная процедура минимизации (ssn) |
IT | formal minimization procedures | формальные процедуры минимизации (ssn) |
progr. | formal model and specification | формальная модель и спецификация (InfoWorld Alex_Odeychuk) |
AI. | formal model of deductive reasoning | формальная модель дедуктивных рассуждений (Alex_Odeychuk) |
gen. | formal name | официальное имя (ssn) |
gen. | formal name | полное имя (не сокращённое edu.hk olga69) |
progr. | formal notation | формальная нотация (корпорации AdaCore Alex_Odeychuk) |
progr. | formal notation | формальные обозначения (ssn) |
adv. | formal notice | формальное предупреждение |
dipl. | formal notification | формальная нотификация |
gen. | formal notification | официальное предупреждение |
progr. | formal notion | формальное понятие (ssn) |
progr. | formal notion of a finite automaton | формальное понятие конечного автомата (ssn) |
psychol. | formal object | абстракция или отдельный аспект предмета |
gen. | formal occasion | формальное мероприятие (karakula) |
gen. | formal occasion | торжественное событие (maystay) |
media. | formal occasion | официальное событие (bigmaxus) |
gen. | formal occasion | официальное мероприятие (karakula) |
HR | employee formal onboarding | оформление сотрудника (сотрудников Ilija_Zdraveski) |
construct. | formal opening | торжественная приёмка (объекта в эксплуатацию) |
dipl. | formal opening session | торжественное открытие (of a conference, etc.; конференции и т.п.) |
polit. | formal opening sitting | торжественное открытие сессии |
gen. | formal opening sitting | торжественное открытие |
psychol. | formal operational stage | стадия формальных операций |
psychol. | formal operations | абстрактное логическое мышление (abstract logical reasoning Alex_Odeychuk) |
O&G, tengiz. | Formal Operator Training Program | официальная программа обучения операторов (Yeldar Azanbayev) |
econ. | formal or informal illegal agreement | оформленное или неоформленное незаконное соглашение (A.Rezvov) |
manag. | formal organization | формальная организация (Dashout) |
fin. | formal organization | формальная организационная структура |
scient. | formal paper | официальная статья (I. Havkin) |
progr. | formal parameter declaration | объявление формального параметра (ssn) |
progr. | formal parameter declaration in a subprogram declaration | объявление формального параметра в объявлении подпрограммы (ssn) |
progr. | formal parameter list | перечень формальных параметров (ssn) |
progr. | formal parameter list | список формальных параметров (ssn) |
progr. | formal parameter name | имя формального параметра (ssn) |
progr. | formal parameter names | имена формальных параметров (ssn) |
IT | formal parameter part | совокупность формальных параметров |
progr. | formal parameters | формальные параметры (ssn) |
progr. | formal parameters for a function | формальные параметры функции (ssn) |
progr. | formal parameters of subprograms | формальные параметры подпрограмм (ssn) |
IT | formal part | совокупность параметров (часть описания процедуры в языке программирования Ada) |
arts. | formal pen | ширококонечное перо (pani_helenka) |
mil. | formal planning | централизованное планирование (вышестоящими штабами) |
agric. | formal planting | насаждение в классическом стиле |
gen. | formal politeness | формальная вежливость |
Makarov. | formal pool | энергообъединение, действующее на основе формальных соглашений между энергокомпаниями (при свободных перетоках мощности между ними) |
Makarov. | formal pool | объединение, действующее на основе формальных соглашений между энергокомпаниями (при свободных перетоках мощности между ними) |
progr. | formal port declaration | объявление формального порта (ssn) |
progr. | formal port declaration in an entity declaration | объявление формального порта в объявлении объекта (ssn) |
mil. | formal portrait | личная фотокарточка установленного образца |
progr. | formal ports | формальные порты (ssn) |
O&G, casp. | formal pre-qualification questionnaire | официальный вопросник предквалификационной оценки (Yeldar Azanbayev) |
notar. | formal prescription of the planning authorities | акт планирования |
law | formal procedure | формализованная процедура (не формальная Andrew052) |
bank. | formal procedure relating to bills of exchange | формальная процедура, относящаяся к переводным векселям |
IT | formal procedures | формальные процедуры (ssn) |
dipl. | formal pronouncement | официальное заявление |
law | formal proof | установление факта формальными доказательствами |
law | formal proof | доказывание с помощью формальных доказательств |
softw. | formal proof engine | механизм формальной верификации (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
softw. | formal proof engine | программное средство построения формальных моделей программ и верификации их функциональных свойств (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
softw. | formal proof engine | система построения доказательства соответствия модели программы её формальной спецификации (Alex_Odeychuk) |
softw. | formal proof engine | система формальной верификации программного обеспечения (Electronic Design Alex_Odeychuk) |
softw. | formal proof engine | средство формальной верификации кода (система построения строгого математического доказательства корректности программы по отношению к предъявляемым к ней требованиям; Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
progr. | formal proof of correctness | формальное доказательство корректности (корпорации AdaCore Alex_Odeychuk) |
softw. | formal proof technology | технология формальной верификации (Alex_Odeychuk) |
progr. | formal properties | формальные свойства (ssn) |
progr. | formal properties of languages | формальные свойства языков (ssn) |
math. | formal property | формальное свойство |
logist. | formal property issue slip | накладная установленной формы на выдачу имущества |
econ. | formal proposal | формальное предложение |
progr. | formal prover | инструмент формальной верификации кода (Electronic Design Alex_Odeychuk) |
logist. | formal purchase instrument | документ установленной формы на право производства закупок |
gen. | formal qualification | диплом об образовании (bigmaxus) |
mil., avia. | formal qualification procedure | официальный порядок аттестации |
mil. | formal qualification test | официальные квалификационные испытания |
econ. | formal quotation | официальная котировка |
el.chem. | formal rate constant | формальная константа скорости |
IT | formal reasoning | рассуждения на формальном уровне |
robot. | formal reasonings | формальные рассуждения |
gen. | formal recognition | официальное признание (ssn) |
gen. | formal recommendation | официальная рекомендация (ssn) |
EBRD | formal registration of guarantees and security | оформление гарантии и залога |
adv. | formal relationship | формальные отношения |
med. | formal repeat dose toxicity studies | официальные исследования токсичности (хронической/субхронической Andy) |
tech. | formal report number | номер официального отчёта |
energ.ind. | formal report number | номер официального отчёта (напр., выпускаемого с грифом или подлежащего регистрации) |
progr. | formal representation of call | формальное представление вызова (ssn) |
ling. | formal representation of the sentence | формализованное представление предложения |
nautic. | formal request | заявка установленной формы |
gen. | formal request | официальная просьба |
law | formal requirement | формальное требование (т. е. требование, относящееся к форме) |
logist. | formal requisitioning | истребование по заявкам установленной формы |
progr. | formal review | формальное рецензирование (см. Standard glossary of terms used in Software Testing ssn) |
dipl. | formal revision | редакционные изменения |
dipl. | formal revision of the General Assembly resolutions | внесение редакционных изменений в резолюции Генеральной Ассамблеи |
dipl. | formal revisions | редакционные изменения |
law | formal right | формальное право (wikipedia.org Elena_afina) |
stat. | formal risk assessment | формальная оценка риска (igisheva) |
archit. | formal room | парадная комната (Olga_ptz) |
telecom. | formal run | стандартный режим работы (Руфина Хабибуллина) |
O&G, sahk.r. | formal safety assessment | официальная оценка безопасности |
gen. | formal safety assessment | экспертиза безопасности (Alexander Demidov) |
fin. | formal securities market | ОРЦБ (Ker-online) |
IT | formal security model | формальная модель политики безопасности |
sec.sys. | formal security model | модель стратегии безопасности |
data.prot. | formal security model | модель, математически точно отображающая принятую политику обеспечения безопасности |
sec.sys. | formal security model | модель политики безопасности |
progr. | formal semantics | модель программы (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
progr. | formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
progr. | formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
gen. | formal session | торжественное открытие |
gen. | formal setting | формальная обстановка (TimurRin) |
gen. | formal setting | деловая обстановка (TimurRin) |
gen. | formal setting | официальная обстановка (Yanamahan) |
gen. | formal shell | внешняя оболочка (в контексте теорий и т.п. A.Rezvov) |
cloth. | formal shirt | деловая рубашка (Mimzy) |
leath. | formal shoe | парадная обувь |
dipl. | formal signature of a treaty | официальное подписание договора |
softw. | formal specification | требуемые свойства программного обеспечения (формальная спецификация; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
IT | formal specification | спецификация формата |
IT | formal specification | формальное описание |
IT | formal specification | формальные спецификации |
Makarov. | formal specification | формальная спецификация |
tech. | formal specification language | язык формальных спецификаций |
progr. | formal specification languages | языки формальных спецификаций (ssn) |
progr. | formal specification of programming languages | формальное описание языков программирования (ssn) |
Makarov. | formal stability | формальная устойчивость |
tax. | formal statement | формальное заявление (dimock) |
progr. | formal structure of functions | формальная структура функций (ssn) |
progr. | formal structuring | средство формальной структуризации (ssn) |
gen. | formal studies | формальное обучение (SirReal) |
R&D. | formal study report | отчёт по исследованию (MichaelBurov) |
pharma. | Formal System | документированная система контроля (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально Игорь_2006) |
progr. | formal system of axioms and inference rules | формальная система аксиом и правил вывода (ssn) |
ling. | formal system of reasoning | формальная система рассуждений |
progr. | formal systems development | формальное построение систем (ssn) |
progr. | formal systems development | формальная разработка систем (ssn) |
gen. | formal taxonomy | формальная таксономия (Millie) |
progr. | formal technical reviews | формальные технические обзоры (структурированные совещания, проводимые отделом программного инжиниринга с целью поиска ошибок в некоторых поставляемых продуктах или рабочих продуктах ssn) |
econ. | formal techniques | формальные методы (A.Rezvov) |
el.chem. | formal test | сдаточное испытание |
IT | formal test | контроль формата |
psychiat. | formal thought disorder | расстройство мышления по форме (sankozh) |
psychiat. | formal thought disorder | расстройство формального мышления (Земцова Н.) |
met. | formal time study | хронометраж |
archive. | formal title | формальное заглавие (Азери) |
gen. | formal title | официальное обращение (форма обращения к мужчине (Mr) или женщине (Ms, Miss, Mrs) Xunja-Munja) |
O&G | formal titration | титрование формалином амидных групп |
el.chem. | formal titration | формальдегидное титрование |
anim.husb. | formal-titration method | метод формального титрования белков |
Makarov. | formal-titration method | метод формального титрования (белка) |
Gruzovik | formal tone | официальный тон |
sociol. | formal training | обучение в школе (училище и т. д.) |
mil. | formal training | плановые занятия |
psychol. | formal trait | определяющая черта |
progr. | formal translation model | формальная модель трансляции (ssn) |
progr. | formal translation models | формальные модели трансляции (ssn) |
progr. | formal type declaration | формальное описание типа (ssn) |
mil. | formal unit training | боевое слаживание части |
mil. | formal unit training | боевое слаживание подразделения |
ling. | formal universals | формальные универсалии |
dipl. | formal validity | формальная действительность |
law | formal validity | действительность со стороны формы |
IT | formal verification | формальная верификация |
progr. | formal verification | формальная верификация кода (Electronic Design Alex_Odeychuk) |
progr. | formal verification algorithms | алгоритмы формальной верификации (ssn) |
softw. | formal verification framework | платформа формальной верификации (adacore.com Alex_Odeychuk) |
softw. | formal verification support | поддержка формальной верификации (Alex_Odeychuk) |
progr. | formal verification technique | метод формальной верификации (ssn) |
progr. | formal-verification techniques | методы формальной верификации (Alex_Odeychuk) |
progr. | formal verification techniques | методы формальной верификации (ssn) |
softw. | formal verification technology | технология формальной верификации (adacore.com Alex_Odeychuk) |
softw. | formal verification tool | инструмент формальной верификации (adacore.com Alex_Odeychuk) |
softw. | formal verification toolset | набор инструментов формальной верификации (adacore.com Alex_Odeychuk) |
gen. | formal vote | простое голосование (ssn) |
gen. | formal warning | официальное предостережение (bigmaxus) |
law | formal warrant | ордер, выданный с соблюдением установленных формальностей |
patents. | formal working | формальное использование |
dipl. | formal working document | рабочий протокол |
gen. | formal writing ability | грамматические правила (Rust71) |
gen. | formal writing ability | правописание (Rust71) |
polit. | non-formal | неофициальный (тогда formal – официальный, а informal – неформальный Tiny Tony) |
progr. | non-formal | фактический (о параметре процедуры ssn) |
progr. | non-formal | неформальный (о параметре процедуры ssn) |
gen. | prom formal | выпускной (Dmitry1928) |
Gruzovik, inf. | render formal | оказёнить |