abstract: Приводится обзор современных моделей качества, обосновываются основные недостатки этих моделей. Формируются требования к модели качества, которая бы смогла преодолеть эти недостатки. Вводится формальная модель качества, основанная на использовании аппарата теории категорий.
keywords: качество программ, моделирование качества программ, модель качества программ