Проблеми оцінювання якості критичних програмних систем при їх сертифікації
В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудована узагальнена мо...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2004 |
Автори: | Райчев, І.Е., Харченко, О.Г. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2004
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2303 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Проблеми оцінювання якості критичних програмних систем при їх сертифікації/ І.Е. Райчев, О.Г. Харченко // Проблеми програмування. — 2004. — N 2,3. — С. 198-207. — Бібліогр.: 17 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Задачі та засоби моделювання й оцінювання життєздатних програмних систем
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2003) -
Підхід до оцінювання економічних характеристик проектних рішень при розробці, модифікації та реінжинірингу програмних систем
за авторством: Стрєлов, І.А., та інші
Опубліковано: (2004) -
Методи еволюції програмних компонентів для їх повторного застосування
за авторством: Грищенко, В.М.
Опубліковано: (2004) -
Розвиток спіральної моделі життєвого циклу програмних систем
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2003) -
Применение концепции операционных профилей в инженерии надежности программных систем
за авторством: Мороз, Г.Б., та інші
Опубліковано: (2004)