Buchumschlag

Верификация программ: состояние, проблемы, экспериментальные результаты. I

Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2013
1. Verfasser:	Максимец, А.Н.
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2013
Schlagworte:	Верифікація програм
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86693
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:	Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Верификация программ: состояние, проблемы, экспериментальные результаты. II
von: Максимец, А.Н.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Подход к структурному тестированию программ с использованием генетического алгоритма
von: Слабоспицкая, О.А., et al.
Veröffentlicht: (2012)

Алгебро-динамические модели для распараллеливания программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2010)

Средства сервисно-ориентированного программирования параллельных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Электромагнитная эмиссия литосферы: новые экспериментальные результаты и анализ проблемы
von: Шуман, В.Н.
Veröffentlicht: (2010)

Дослідження біометричної верифікації користувача на основі автокодерів з перевірками руху
von: Havrylovych, Mariia, et al.
Veröffentlicht: (2022)

Оцінювання якості консолідованих даних
von: Шаховська, Н.Б.
Veröffentlicht: (2014)

МАТЕМАТИЧНА МОДЕЛЬ РЕАКТИВНИХ ДВИГУНІВ МАЛОЇ ТЯГИ НА «ЗЕЛЕНОМУ» ПАЛИВІ ТА ЇЇ ВЕРИФІКАЦІЯ
von: TIMOSHENKO, V. I., et al.
Veröffentlicht: (2025)

Дослідження гібридних автокодувальників з використанням трансформерів для біометричної верифікації користувача
von: Havrylovych, Mariia, et al.
Veröffentlicht: (2023)

Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
von: Фесенюк, А.П.
Veröffentlicht: (2016)

Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
von: Слабоспицька, О.О.
Veröffentlicht: (2009)

Формальная верификация диаграммы классов
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)

Проектирование и физическая верификация цифровых устройств на ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2008)

Создание развитых интернет-программ на примере построения виджет-программ
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2011)

Особенности реализации средств трансформационного синтеза параллельных алгоритмов
von: Мохница, А.С., et al.
Veröffentlicht: (2009)

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

К вопросу о производительности распределенных хранилищ объектов данных в памяти ОЗУ
von: Рухлис, К.А., et al.
Veröffentlicht: (2015)

Средства платформы apache hadoop для параллельных и распределенных вычислени
von: Рухлис, К.А., et al.
Veröffentlicht: (2010)

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2013)

Фреймворк для розробки високорівневих Grid-застосувань
von: Пріла, О.А.
Veröffentlicht: (2014)

До створення Інтернет-порталу надання послуг метеорологічного прогнозування на мультипроцесорній платформі
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2014)

Мультиасемблерна мова програмування
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2013)

Створення методики проектування застосувань для програмно-апаратної платформи CUDA
von: Погорілий, С.Д., et al.
Veröffentlicht: (2013)

Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

Високопродуктивний пакетний добуток матриць афінних перетворень за допомогою Android NDK та JNI
von: Ашур, І.З., et al.
Veröffentlicht: (2018)

Паралельна розподілена реалізація модуля керування робочими процесами для системи підтримки операцій оператора зв’язку
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

Паралельна розподілена система для аналізу потокових даних соціальних мереж
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах
von: Ігнатенко, О.П., et al.
Veröffentlicht: (2015)

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
von: Зайцев, Д.А., et al.
Veröffentlicht: (2010)

Підхід до реалізації інтерфейсів кластерних систем
von: Мар’яновський, В.А., et al.
Veröffentlicht: (2009)

Використання мереж Петрі для проектування паралельних застосувань
von: Погорілий, С.Д., et al.
Veröffentlicht: (2013)

Метод управління дворівневим сховищем віртуалізованого центру обробки даних
von: Жаріков, Е.В.
Veröffentlicht: (2018)

Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів
von: Єршов, С.В., et al.
Veröffentlicht: (2017)

Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків
von: Глибовець, М.М., et al.
Veröffentlicht: (2015)