Предлагаемая статья посвящена описанию системы управления качеством программ. Перечислены и кратко описаны формальные модели, на которых основана описываемая система. Разработанная система позволит повысить степень эффективности работ по обеспечению качества программных средств.
