|
реклама |
|
|
|
|
|
|
Авиакосмическое приборостроение Аннотация к статье << Назад
КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ КАЧЕСТВА ПРОГРАММНЫХ СРЕДСТВ |
В.В. Бураков
Статья посвящена описанию формальной модели качества программных средств. Приводится краткий обзор существующих моделей качества. Формулируются недостатки этих моделей и требования к представляемой модели качества. Описывается формальная модель качества, основанная на использовании аппарата теории категорий. Предложенный подход открывает возможность для формулирования понятия качества программных средств на концептуальном уровне, создавая основу для последующей формальной оценки степени соответствия разрабатываемого программного средства требованиям качества на любом этапе его жизненного цикла. E-mail: burakov@aanet.ru |
|
|
|
Последние новости:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |