Вісник № 46

Переглянути

Зараз показуємо 1 - 1 з 1

Выбор инструментария для формальной спецификации информационных систем в нотации Z
(НТУ "ХПИ", 2004) Старусев, О. Г.
У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – Z, розглянуті основні властивості та характеристики програмного інструментарію, наведені рекомендації щодо вибору того чи іншого програмного засобу.