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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2006
Автори:	Скляр, В.В., Харченко, В.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2006
Теми:	Моделювання і управління великими системами
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/84059
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Моделирование процесса проведения и оценивания практикумов по компьютерной дискретной математике с использованием адаптивного тестирования
за авторством: Белоус, Н.В., та інші
Опубліковано: (2009)

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

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

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

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

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

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

Агрегатная система автоматизации моделирования вероятностных технологических процессов производства
за авторством: Смородин, В.С.
Опубліковано: (2007)

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

Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
за авторством: Литвинов, В.В., та інші
Опубліковано: (2005)

Алгоритм паралельного виконання та синхронізації Е-мережі
за авторством: Литвинов, В.В., та інші
Опубліковано: (2005)

Аналіз систем абонентського доступу з ортогональним сегментуванням
за авторством: Антонов, В.В., та інші
Опубліковано: (2006)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
за авторством: Гончаров, А.Н., та інші
Опубліковано: (2008)

Розподілене моделювання в EMS на основі архітектури HLA
за авторством: Казимир, В.В., та інші
Опубліковано: (2011)

Особенности математической модели дискретного SM-преобразования
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2010)

Модели систем поддержки принятия решений при управлении предприятием
за авторством: Азарова, А.О., та інші
Опубліковано: (2005)

Оценка показателей эффективности эксплуатации систем авионики с комбинированными структурами резервирования
за авторством: Уланский, В.В., та інші
Опубліковано: (2007)

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

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

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

Применение имитационных моделей для принятия решений в системах управления на транспорте
за авторством: Максимей, И.В., та інші
Опубліковано: (2010)

Развитие Центров компетенции
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)

Симметричные разностные схемы метода совместной аппроксимации для решения линейного уравнения переноса
за авторством: Бучарский, В.Л., та інші
Опубліковано: (2011)

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

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

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

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

Радиолокационная станция воздушного (морского) базирования, работающая в динамически сложных внешних условиях
за авторством: Волобоев, В.П., та інші
Опубліковано: (2005)

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

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

Система імітаційного моделювання засобами сіток Петрі
за авторством: Стеценко, І.В., та інші
Опубліковано: (2009)

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

Об одном подходе к моделированию сложных систем
за авторством: Клименко, В.П., та інші
Опубліковано: (2008)

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

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

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

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

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