Buchumschlag

Эксперименты с дедуктивным тестированием реактивных систем

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2013
1. Verfasser:	Летичевский, А.А. (мл.)
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2013
Schlagworte:	Обчислювальні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84268
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:	Эксперименты с дедуктивным тестированием реактивных систем / А.А. Летичевский (мл.) // Математичні машини і системи. — 2013. — № 4. — С. 20-28. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

О применении компьютерных систем с кольцевыми шинами для полунатурного моделирования в реальном масштабе времени
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2018)

Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
von: Асельдеров, З.М., et al.
Veröffentlicht: (2003)

Инструментальная среда создания интеллектуальных обучающих систем
von: Таран, Т.А., et al.
Veröffentlicht: (2004)

Определение адекватности моделей сложных дискретных систем
von: Нестеренко, Б.Б., et al.
Veröffentlicht: (2008)

Нейросетевой классификатор для систем безопасности автомобиля
von: Куссуль, М.Э., et al.
Veröffentlicht: (2004)

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

Прагматичний підхід до оцінки рівня інтелекту інтелектуалізованих систем
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2003)

Дослідження стійкості імпульсних гібридних систем
von: Бичков, О.С., et al.
Veröffentlicht: (2007)

О контроле соблюдения конфиденциальности компьютерных систем
von: Сеспедес Гарсия, Н.В.
Veröffentlicht: (2015)

Эволюция развития языков и систем программирования
von: Теслер, Г.С.
Veröffentlicht: (2003)

Особенности подхода к выбору ПЛИС для проектирования PIM-систем
von: Палагин, А.В., et al.
Veröffentlicht: (2012)

Архітектурні засади систем моніторингу та прогнозування розвитку епідеміологічних процесів
von: В’юн, В.І., et al.
Veröffentlicht: (2011)

Компьютерная система вероятностно-алгебраического моделирования сложных систем со многими состояниями
von: Сукач, Е.И., et al.
Veröffentlicht: (2011)

Компьютерная система вероятностно-алгебраического моделирования сложных систем со многими состояниями
von: Сукач, Е.И., et al.
Veröffentlicht: (2011)

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

Живучесть интеллектуальных систем управления, созданных на базе рецепторно-эффекторных нейроподобных растущих сетей
von: Ященко, В.А.
Veröffentlicht: (2012)

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

Операция деления для параллельных вычислительных систем. Ч. 1
von: Ледянкин, Ю.Я.
Veröffentlicht: (2014)

Операция деления для параллельных вычислительных систем. Ч. 2
von: Ледянкин, Ю.Я.
Veröffentlicht: (2014)

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

Ефективність застосування онтологічних моделей для побудови програмних систем
von: Буров, Є.В.
Veröffentlicht: (2013)

Применение ПЛИС для построения вычислительных систем и их компонентов
von: Нестеренко, Н.В., et al.
Veröffentlicht: (2016)

О концепции построения распределенных баз данных информационно-поисковых систем
von: Яковлев, Ю.С.
Veröffentlicht: (2003)

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

Проблеми ефективного розв’язування систем нелінійних рівнянь на багатопроцесорних комп’ютерах MIMD-архітектури
von: Яковлєв, М.Ф., et al.
Veröffentlicht: (2014)

Об истории использования отечественных систем символьных преобразований в механических приложениях
von: Ефимов, Г.Б., et al.
Veröffentlicht: (2008)

Применение ПЛИС для создания высокопроизводительных вычислительных систем и их компонентов
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2014)

Щодо питання обчислювальної складності при дослідженні динаміки систем із антисипацією
von: Лазаренко, С.В.
Veröffentlicht: (2019)

Проектирование модулей с плавающей точкой на ПЛИС с использованием языка VHDL
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2005)

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

Ассоциативные клеточные сети с адаптивной архитектурой
von: Дехтяренко, А.К.
Veröffentlicht: (2004)

Математическая модель и стратегия распределения приложений для интеллектуальной памяти распределенных компьютерных систем
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2009)

Операционные элементы с итеративной организацией вычислительно-преобразовательного процесса
von: Герасимов, И.В., et al.
Veröffentlicht: (2013)

Способы параллельного решения систем Ах=b в едином технологическом потоке решения задач математической физики
von: Ледянкин, Ю.Я.
Veröffentlicht: (2013)

Система распознавания пешехода с помощью одной видеокамеры
von: Куссуль, М.Э., et al.
Veröffentlicht: (2006)

Цифро-аналоговий обчислювальний комплекс (ЦАОК) "Альфа-1"для моделювання систем управління складними динамічними об'єктами
von: Караченець, Д.В.
Veröffentlicht: (2011)

Інформаційно-аналітичні технології як інструмент підтримки та забезпечення систем підтримки прийняття рішень на державному рівні
von: Косолапов, В.Л., et al.
Veröffentlicht: (2007)

Построение нейро-нечетких моделей по прецедентам с хэширующим преобразованием на обобщенную ось
von: Субботин, С.А.
Veröffentlicht: (2015)

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

Метод вычисления размещения протяженных связей в нейронных ассоциативных сетях с архитектурой «тесного мира»
von: Дехтяренко, А.К.
Veröffentlicht: (2005)