摘要 : Предлагается описание формальных компонентов оценки качества программных средств. Представлены модели программных средств... 展开 Предлагается описание формальных компонентов оценки качества программных средств. Представлены модели программных средств, качества и метрик программных средств. В качестве формальной основы моделей используются теория категорий и теория графов. В рамках описываемого подхода с помощью модели качества осуществляется концептуальное моделирование понятия качества программных средств и обеспечивается количественная оценка качества с помощью модели метрик. 收起