Применение концепции операционных профилей в инженерии надежности программных систем
В докладе представлен подход к изучению особенностей эксплуатации разрабатываемых программных систем (ПС) на основе
 определения совокупности операционных профилей. Дана краткая характеристика основных элементов процесса применения ПС,
 приведены формальные определения профилей разны...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | Мороз, Г.Б., Коваль, Г.И., Коротун, Т.М. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2287 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Применение концепции операционных профилей в инженерии надежности программных систем / Г.Б. Мороз, Г.И. Коваль, Т.М. Коротун // Проблеми програмування. — 2004. — N 2,3. — С. 188-197. — Бібліогр.: 10 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Концепция профилей в инженерии надежности программных систем
by: Мороз, Г.Б., et al.
Published: (2004)
by: Мороз, Г.Б., et al.
Published: (2004)
Концепция аналитической оценки характеристик качества программных компонентов
by: Лаврищева, Е.М., et al.
Published: (2004)
by: Лаврищева, Е.М., et al.
Published: (2004)
Javachecker: статический анализ программных комплексов с помощью переписывающих правил
by: Шевченко, Р.
Published: (2004)
by: Шевченко, Р.
Published: (2004)
Рекурсивная модель жизненного цикла разработки программ и ее применение
by: Мучник, М.М.
Published: (2004)
by: Мучник, М.М.
Published: (2004)
Проблеми оцінювання якості критичних програмних систем при їх сертифікації
by: Райчев, І.Е., et al.
Published: (2004)
by: Райчев, І.Е., et al.
Published: (2004)
Взаимное преобразование UFO- и UML-моделей
by: Бондаренко, М.Ф., et al.
Published: (2004)
by: Бондаренко, М.Ф., et al.
Published: (2004)
Методи еволюції програмних компонентів для їх повторного застосування
by: Грищенко, В.М.
Published: (2004)
by: Грищенко, В.М.
Published: (2004)
Создание программного каркаса Windows CE
by: Семенец, С.В.
Published: (2004)
by: Семенец, С.В.
Published: (2004)
Онтологічні моделі опису готових ресурсів у розробці програм
by: Бабенко, Л.П., et al.
Published: (2004)
by: Бабенко, Л.П., et al.
Published: (2004)
CASE-инструментарий UFO-toolkit. Автоматизация построения УФО-моделей
by: Маторин, В.С., et al.
Published: (2004)
by: Маторин, В.С., et al.
Published: (2004)
Підхід до оцінювання економічних характеристик проектних рішень при розробці, модифікації та реінжинірингу програмних систем
by: Стрєлов, І.А., et al.
Published: (2004)
by: Стрєлов, І.А., et al.
Published: (2004)
Задачі та засоби моделювання й оцінювання життєздатних програмних систем
by: Ігнатенко, П.П., et al.
Published: (2003)
by: Ігнатенко, П.П., et al.
Published: (2003)
Алгебраїчна модель рефакторінгу компонентів
by: Грищенко, В.М.
Published: (2003)
by: Грищенко, В.М.
Published: (2003)
Розвиток спіральної моделі життєвого циклу програмних систем
by: Алексєєв, В.А., et al.
Published: (2003)
by: Алексєєв, В.А., et al.
Published: (2003)
Концепція створення моделі прикладної програмної системи з розвинутою функцією життєздатності
by: Ігнатенко, П.П., et al.
Published: (2004)
by: Ігнатенко, П.П., et al.
Published: (2004)
Менеджмент проекту інформаційної системи ПІдтримки нормативно-правового забезпечення органів державного управління
by: Задорожна, Н.Т.
Published: (2004)
by: Задорожна, Н.Т.
Published: (2004)
Стандартизация инженерии систем и программных средств в Украине
by: Андон, Ф.И., et al.
Published: (2009)
by: Андон, Ф.И., et al.
Published: (2009)
Применение машинного обучения в программной инженерии: обзор
by: Мороз, О.Г., et al.
Published: (2019)
by: Мороз, О.Г., et al.
Published: (2019)
Применение статистических моделей в инженерии качества процессов производства программных систем
by: Матвеева, Л.Е., et al.
Published: (2012)
by: Матвеева, Л.Е., et al.
Published: (2012)
Применение статистических моделей в инженерии качества процессов производства программных систем
by: Matveeva, L.Е., et al.
Published: (2015)
by: Matveeva, L.Е., et al.
Published: (2015)
Применение методов комплексирования аналогов и нечёткой логики для прогнозирования некоторых операционных метрик
by: Зайченко, Ю.П., et al.
Published: (2012)
by: Зайченко, Ю.П., et al.
Published: (2012)
Применение аппарата математической логики для моделирования распостранения лесного пожара
by: Ходаков, В.Е., et al.
Published: (2004)
by: Ходаков, В.Е., et al.
Published: (2004)
Интегрированная технология интеллектуального управления рисками программных проектов
by: Слабоспицкая, О.А., et al.
Published: (2009)
by: Слабоспицкая, О.А., et al.
Published: (2009)
Оценка надежности модульных программных средств
by: Анцыпов, А.В., et al.
Published: (2010)
by: Анцыпов, А.В., et al.
Published: (2010)
Технология электронного обучения базовым аспектам программной инженерии
by: Лаврищева, Е.М.
Published: (2012)
by: Лаврищева, Е.М.
Published: (2012)
Миграция устаревших программных платформ
by: Фальфушинский, В.В.
Published: (2012)
by: Фальфушинский, В.В.
Published: (2012)
Анализ технологии создания инфрастуктуры для разработки и развертывания программных приложений
by: Ходякова, Г.В., et al.
Published: (2019)
by: Ходякова, Г.В., et al.
Published: (2019)
Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
by: Овдій, О.М., et al.
Published: (2004)
by: Овдій, О.М., et al.
Published: (2004)
Построение оптимальных расписаний программных движений промышленных роботов
by: Зак, Ю.А.
Published: (2014)
by: Зак, Ю.А.
Published: (2014)
Ефективний метод виявлення структур залежностей в статистичних даних
by: Балабанов, О.С.
Published: (2004)
by: Балабанов, О.С.
Published: (2004)
Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
by: Верьовка, О.В., et al.
Published: (2004)
by: Верьовка, О.В., et al.
Published: (2004)
Концептуальная модель базы знаний интеллектуальной медицинской системы
by: Прокопчук, Ю.А.
Published: (2004)
by: Прокопчук, Ю.А.
Published: (2004)
Концепція керiваного проектування інформаційних систем управлінської діяльності
by: Задорожна, Н.Т., et al.
Published: (2003)
by: Задорожна, Н.Т., et al.
Published: (2003)
Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
by: Ильина, Е.П., et al.
Published: (2004)
by: Ильина, Е.П., et al.
Published: (2004)
Модифікаційні предикатні запити
by: Шекета, В.І.
Published: (2004)
by: Шекета, В.І.
Published: (2004)
Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
by: Плескач, В.Л., et al.
Published: (2004)
by: Плескач, В.Л., et al.
Published: (2004)
Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
by: Стадник, Ю.В.
Published: (2004)
by: Стадник, Ю.В.
Published: (2004)
Про застосування Байєсових мереж у простих експертних системах
by: Міщенко, Н.М., et al.
Published: (2004)
by: Міщенко, Н.М., et al.
Published: (2004)
Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
by: Алексєєв, В.А., et al.
Published: (2003)
by: Алексєєв, В.А., et al.
Published: (2003)
Учет вторичных дефектов в моделях надежности программных средств
by: Одарущенко, О.Н., et al.
Published: (2010)
by: Одарущенко, О.Н., et al.
Published: (2010)
Similar Items
-
Концепция профилей в инженерии надежности программных систем
by: Мороз, Г.Б., et al.
Published: (2004) -
Концепция аналитической оценки характеристик качества программных компонентов
by: Лаврищева, Е.М., et al.
Published: (2004) -
Javachecker: статический анализ программных комплексов с помощью переписывающих правил
by: Шевченко, Р.
Published: (2004) -
Рекурсивная модель жизненного цикла разработки программ и ее применение
by: Мучник, М.М.
Published: (2004) -
Проблеми оцінювання якості критичних програмних систем при їх сертифікації
by: Райчев, І.Е., et al.
Published: (2004)