Например, Бобцов

ФОРМАЛЬНЫЙ БАЗИС ДЛЯ ОЦЕНКИ КАЧЕСТВА ПРОГРАММНЫХ СРЕДСТВ

Аннотация:

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

Читать текст статьи

Ключевые слова:

Статьи в номере