Формальний аналіз
формальний аналіз - - [А.С.Гольдберг. Англо-український енергетичний словник. 2006 р.] Тематики енергетика загалом EN formal analysis … Довідник технічного перекладача
формальний аналіз проекту — 3.1 формальний аналіз проекту (formal design review): Формальна та незалежна експертиза існуючого чи пропонованого проекту для виявлення та виправлення недоліків проекту та вимог до показників безвідмовності, безпеки,… … Словник-довідник термінів нормативно- технічної документації
Формальний аналіз проекту — Формальна та незалежна експертиза, як процес консультування, контролю, уточнюючих процедур (не елементів розробки) на всіх етапах життєвого циклу об'єкта (включаючи КБ та АТЗ об'єкта) у точках прийняття рішень (контрольних точках) на … … Комплексне забезпечення безпеки та антитерористичної захищеності будівель та споруд
ГОСТ Р МЕК 61160-2006: Менеджмент ризику. Формальний аналіз проекту - Термінологія ГОСТ Р МЕК 61160 2006 Менеджмент ризику. Формальний аналіз проекту оригінал документа: 3.2 пункт плану заходів (action item): Питання, яке має бути вирішене до завершення аналізу проекту. Визначення терміна з різних… … Словник-довідник термінів нормативно-технічної документації
аналіз та синтез - АНАЛІЗ І СИНТЕЗ. Аналіз (від грецьк. analysis розкладання, розчленування) реальне чи уявне розкладання об'єкта на компоненти; синтез (від грец. sythesis з'єднання, поєднання) реальне чи уявне об'єднання цих компонентів у цілісний… … Енциклопедія епістемології та філософії науки
ФОРМАЛЬНИЙ - ФОРМАЛЬНИЙ, формальний, формальний; формальний, формальний, формальний. 1. тільки повн. дод. до форма в 7 та 8 знач.; властивий формі, пов'язаний із властивостями форми(Наук.). Формальні особливості слів. Формальний аналіз вірша. 2. тільки повний … Тлумачний словник Ушакова
АНАЛІЗ ПРИЧИННИЙ - - методи моделювання причинних відносин між ознаками за допомогою систем статистич. рівнянь, найчастіше регресійних. Існують інші назви цієї досить широкої галузі методів, що постійно розвивається: шляховий аналіз, як… … українська соціологічна енциклопедія
ФОРМАЛЬНИЙ МАТЕМАТИЧНИЙ АНАЛІЗ - назва формальної аксіоматич. теорії спеціально призначеної для формалізації (точного опису доказів) математич. аналізу. При цьому формальну аксіоматич. теорію намагаються вибирати по можливості мінімальною за своїми дедуктивними і природними матеріалами.
НАРРАТИВНИЙ АНАЛІЗ — якісний аналіз матеріалу наративного інтерв'ю (біографічного чи тематичного). Основні методологічні розробки Н.А. пов'язані з іменами Ф. Шютце (Fritze Schutze), В. Фішера (Wolfram Fischer), Г. Розенталь (Gabriele Rosenthal), Дж.… … Соціологія: Енциклопедія
КОМБІНАТОРНИЙ АНАЛІЗ — комбінаторна математика, комбінаторика, розділ математики, присвячений розв'язанню задач вибору та розташування елементів деякої, зазвичай кінцевої, множини відповідно до заданих правил. Кожне таке правило визначає спосіб побудови.
Логіка Берроуза — Логіка Берроуза Абаді Нідхема (англ. Burrows Abadi Needham logic) або BAN логіка (англ. BAN logic) це формальна логічна модель для аналізу знання та довіри, що широко використовується при аналізі протоколів… Вікіпедія