Browsing Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5) by Subject "IP-ядро"
Now showing items 1-2 of 2
-
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ... -
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
(ХАІ, 2014)В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование.