Search
Now showing items 1-3 of 3
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...
Кооперация университетов и IT-индустрии: структура, результаты и перспективы в Украине
(ХАІ, 2014)
Систематизируются результаты, полученные в области кооперации университетов и бизнеса
(University-Business Cooperation, UBC) для IT-индустрии. Дано описание активностей в области UBC.
Определены компоненты UBC, ...
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
(ХАІ, 2014)
В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование.