Содержание
- Введение 1
- Обзор существующих методов оценки логических систем 2
- Математические основы разработанных метрик 3
- Разработка алгоритмов расчета метрик 4
- Описание программного инструмента 5
- Экспериментальная оценка эффективности метрик 6
- Анализ результатов экспериментов 7
- Обсуждение результатов и ограничений 8
- Заключение 9
- Список литературы 10