Buchumschlag

Реализация процесса верификации для разработки надежного программного обеспечения

Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2006
Hauptverfasser:	Скляр, В.В., Харченко, В.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2006
Schlagworte:	Моделювання і управління великими системами
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84059
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Системы верификации на основе реконфигурируемых устройств
von: Палагин, А.В., et al.
Veröffentlicht: (2004)

Модель процесса разработки программного обеспечения
von: Вершина, А.И., et al.
Veröffentlicht: (2006)

Моделирование процесса проведения и оценивания практикумов по компьютерной дискретной математике с использованием адаптивного тестирования
von: Белоус, Н.В., et al.
Veröffentlicht: (2009)

Автоматизация процесса исследования вариантов организации перемещения транспортных потоков в железнодорожной сети
von: Сукач, Е.И.
Veröffentlicht: (2009)

Имитационное моделирование процесса автоматической идентификации и коррекции типовых ошибок пользователя по словарю
von: Майстренко, С.Я.
Veröffentlicht: (2005)

Метод пошаговой реструктуризации имитационных моделей для исследования вероятностных технологических процессов
von: Смородин, В.С.
Veröffentlicht: (2008)

Конструювання програм створення тестових наборів на базі автоматних моделей
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Імітаційне моделювання системи управління гідромоніторним розмивом при свердловинному гідровидобутку корисних копали
von: Мельник, В.С.
Veröffentlicht: (2007)

Верификация имитационных моделей технологических процессов производства с переменной структурой
von: Смородин, В.С.
Veröffentlicht: (2007)

Агрегатная система автоматизации моделирования вероятностных технологических процессов производства
von: Смородин, В.С.
Veröffentlicht: (2007)

До питання управління безпекою військових об’єктів підвищеної небезпеки
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2008)

Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)

Алгоритм паралельного виконання та синхронізації Е-мережі
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)

Аналіз систем абонентського доступу з ортогональним сегментуванням
von: Антонов, В.В., et al.
Veröffentlicht: (2006)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
von: Гончаров, А.Н., et al.
Veröffentlicht: (2008)

Розподілене моделювання в EMS на основі архітектури HLA
von: Казимир, В.В., et al.
Veröffentlicht: (2011)

Особенности математической модели дискретного SM-преобразования
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2010)

Модели систем поддержки принятия решений при управлении предприятием
von: Азарова, А.О., et al.
Veröffentlicht: (2005)

Оценка показателей эффективности эксплуатации систем авионики с комбинированными структурами резервирования
von: Уланский, В.В., et al.
Veröffentlicht: (2007)

Методы оценки производительности программных систем для мобильных устройств
von: Семенец, С.В.
Veröffentlicht: (2005)

Применение алгоритма клонального отбора для решения систем алгебраических уравнений
von: Литвиненко, В.И.
Veröffentlicht: (2006)

Перший Кримський експериментальний обчислювальний Grid-ресурс: створення і перші результати випробувань і експлуатації
von: Храмов, В.В., et al.
Veröffentlicht: (2011)

Применение имитационных моделей для принятия решений в системах управления на транспорте
von: Максимей, И.В., et al.
Veröffentlicht: (2010)

Развитие Центров компетенции
von: Коваль, В.Н., et al.
Veröffentlicht: (2006)

Симметричные разностные схемы метода совместной аппроксимации для решения линейного уравнения переноса
von: Бучарский, В.Л., et al.
Veröffentlicht: (2011)

Методология создания информационно-аналитической системы учета и контроля использования интеллектуальной собственности
von: Морозов, А.А., et al.
Veröffentlicht: (2004)

Архітектура розподіленої інформаційної системи медичного призначення для роботи в умовах ненадійного зв'язку
von: Кононов, М.В., et al.
Veröffentlicht: (2006)

Методика расчета оптимальной численности двигателей для воздушных судов нового поколения в обменном фонде
von: Бабак, В.П., et al.
Veröffentlicht: (2006)

Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
von: Максимей, И.В., et al.
Veröffentlicht: (2005)

Радиолокационная станция воздушного (морского) базирования, работающая в динамически сложных внешних условиях
von: Волобоев, В.П., et al.
Veröffentlicht: (2005)

Компьютерная система обработки сигналов, управления, отображения и контроля двухкоординатной радиолокационной станции кругового обзора
von: Волобоев, В.П., et al.
Veröffentlicht: (2005)

Компьютерное моделирование квазирезонансного инверторного источника питания для дуговой нагрузки
von: Фельдшер, И.Ф.
Veröffentlicht: (2007)

Система імітаційного моделювання засобами сіток Петрі
von: Стеценко, І.В., et al.
Veröffentlicht: (2009)

Інформаційна технологія визначення оптимальних параметрів управління транспортним рухом через світлофорні об’єкти міста
von: Стеценко, І.В., et al.
Veröffentlicht: (2007)

Об одном подходе к моделированию сложных систем
von: Клименко, В.П., et al.
Veröffentlicht: (2008)

Метод синтезу еквівалента невідомого зовнішнього збурення для динамічних об'єктів
von: Славко, О.Г.
Veröffentlicht: (2011)

Сховище даних як модель ситуаційного аналізу діяльності інформаційної системи (процедури і алгоритми формування та використання)
von: В’юн, В.І., et al.
Veröffentlicht: (2007)

Онтологічні схеми інтелектуалізації систем підтримки прийняття рішень (СППР)
von: В’юн, В.І., et al.
Veröffentlicht: (2008)

Метод коррекции для параллелизации численных моделей гидродинамики водоемов со свободной поверхностью
von: Нестеров, А.А.
Veröffentlicht: (2008)

О применении вейвлетов и линейной фильтрации для решения задач восстановления сигналов
von: Карпенко, Е.Ю.
Veröffentlicht: (2008)