Зображення обкладинки

Проблеми оцінювання якості критичних програмних систем при їх сертифікації

В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи формалізації процедури формування критеріїв якості та побудован...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Задачі та засоби моделювання й оцінювання життєздатних програмних систем
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2003)

Підхід до оцінювання економічних характеристик проектних рішень при розробці, модифікації та реінжинірингу програмних систем
за авторством: Стрєлов, І.А., та інші
Опубліковано: (2004)

Методи еволюції програмних компонентів для їх повторного застосування
за авторством: Грищенко, В.М.
Опубліковано: (2004)

Розвиток спіральної моделі життєвого циклу програмних систем
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2003)

Применение концепции операционных профилей в инженерии надежности программных систем
за авторством: Мороз, Г.Б., та інші
Опубліковано: (2004)

Взаимное преобразование UFO- и UML-моделей
за авторством: Бондаренко, М.Ф., та інші
Опубліковано: (2004)

Создание программного каркаса Windows CE
за авторством: Семенец, С.В.
Опубліковано: (2004)

Javachecker: статический анализ программных комплексов с помощью переписывающих правил
за авторством: Шевченко, Р.
Опубліковано: (2004)

Концепция аналитической оценки характеристик качества программных компонентов
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2004)

Рекурсивная модель жизненного цикла разработки программ и ее применение
за авторством: Мучник, М.М.
Опубліковано: (2004)

Онтологічні моделі опису готових ресурсів у розробці програм
за авторством: Бабенко, Л.П., та інші
Опубліковано: (2004)

CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
за авторством: Маторин, В.С., та інші
Опубліковано: (2004)

Менеджмент проекту інформаційної системи ПІдтримки нормативно-правового забезпечення органів державного управління
за авторством: Задорожна, Н.Т.
Опубліковано: (2004)

Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2004)

Алгебраїчна модель рефакторінгу компонентів
за авторством: Грищенко, В.М.
Опубліковано: (2003)

Концепція побудови сертифікаційної моделі якості програмних систем
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)

Методика оцінювання деяких характеристик якості прикладних програмних систем
за авторством: Ткаченко, В.М.
Опубліковано: (2006)

Задачі, методи та засоби експертного оцінювання якості в інженерії програмних систем
за авторством: Слабоспицька, О.О.
Опубліковано: (2007)

Концепція керiваного проектування інформаційних систем управлінської діяльності
за авторством: Задорожна, Н.Т., та інші
Опубліковано: (2003)

Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2003)

Підходи інженерії якості сімейств програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2008)

Підхід до моделювання якості сімейств програмних систем
за авторством: Коваль, Г.І.
Опубліковано: (2009)

Моделювання вимог до якості програмних систем оброблення даних
за авторством: Коваль, Г.І., та інші
Опубліковано: (2006)

Нечіткий трансформаційний підхід до розробки програмних систем
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2004)

Ефективний метод виявлення структур залежностей в статистичних даних
за авторством: Балабанов, О.С.
Опубліковано: (2004)

Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
за авторством: Верьовка, О.В., та інші
Опубліковано: (2004)

Концептуальная модель базы знаний интеллектуальной медицинской системы
за авторством: Прокопчук, Ю.А.
Опубліковано: (2004)

Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
за авторством: Ильина, Е.П., та інші
Опубліковано: (2004)

Модифікаційні предикатні запити
за авторством: Шекета, В.І.
Опубліковано: (2004)

Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
за авторством: Плескач, В.Л., та інші
Опубліковано: (2004)

Применение аппарата математической логики для моделирования распостранения лесного пожара
за авторством: Ходаков, В.Е., та інші
Опубліковано: (2004)

Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
за авторством: Стадник, Ю.В.
Опубліковано: (2004)

Про застосування Байєсових мереж у простих експертних системах
за авторством: Міщенко, Н.М., та інші
Опубліковано: (2004)

Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
за авторством: Овдій, О.М., та інші
Опубліковано: (2004)

Використання методів та інструментів для забезпечення якості програмних систем
за авторством: Shantyr, Anton
Опубліковано: (2025)

Стан та проблеми розвитку лісової сертифікації в Україні
за авторством: Бондарук, Г.В., та інші
Опубліковано: (2011)

Модель процесу експертного оцінювання у життєвому циклі програмних систем
за авторством: Слабоспицька, О.О.
Опубліковано: (2008)

Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)

Особенности тестирования критических программных систем при их сертификации
за авторством: Райчев, И.Э., та інші
Опубліковано: (2011)

Конструювання програм створення тестових наборів на базі автоматних моделей
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)