Искать
Отображаемые элементы 1-2 из 2
Модель верификации web-ориентированных систем
(ВНТУ, 2014)
Авторами предлагается формальная модель для автоматизации процессов динамической верификации web-ориентированных систем, которая основывается на модели для адаптивного web-окружения и включает модель требований пользователя, ...
Нові технології в підготовці фахівців з вбудованих систем
(ВНТУ, 2014)
Автори наводять результати аналізу вимог до фахівців в галузі вбудованих систем в Запорізькому регіоні. Представлено огляд методів та засобів навчання, що дозволять підвищити мотивацію студентів і якість підготовки відповідних ...