Перегляд за Автор "Старусев, О. Г."
Зараз показуємо 1 - 3 з 3
Результатів на сторінці
Налаштування сортування
Документ Выбор инструментария для формальной спецификации информационных систем в нотации Z(НТУ "ХПИ", 2004) Старусев, О. Г.У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – Z, розглянуті основні властивості та характеристики програмного інструментарію, наведені рекомендації щодо вибору того чи іншого програмного засобу.Документ Использование метода формальной спецификации Z для описания информационной системы(НТУ "ХПИ", 2004) Старусев, О. Г.В статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - Z. Приведено описание метода и указано его использование при описании реальной технической системы, а также место этого метода среди других методов формального описания систем.Документ Формальное описание функционирования протоколов передачи данных(НТУ "ХПИ", 2005) Старусев, О. Г.У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.