Введение в курс метрической теории и метрологии программ

Метрическая теория программ, созданная М. Холстедом около трех десятков лет назад, в данном учебнике изложена концептуально и математически как одно из приложений алгоритмической теории сложности. Это позволило придать ей не только логическую последовательность, но и уточнить смысл базовых понятий; кроме того, впервые дать строгую оценку точности основных соотношений, составляющих ядро расчетных методов программной инженерии. Предложенный в учебнике алгоритм расчета характеристик и трудоемкости программного обеспечения является, по существу, аналогом метода функциональных точек, параметры и количество которых определяются на основе этой теории. Учебник предназначен для ст…