Старусев, О. Г.2015-09-072015-09-072004Старусев О. Г. Выбор инструментария для формальной спецификации информационных систем в нотации Z / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 46. – С. 86-89.https://repository.kpi.kharkov.ua/handle/KhPI-Press/16586У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – Z, розглянуті основні властивості та характеристики програмного інструментарію, наведені рекомендації щодо вибору того чи іншого програмного засобу.In this article the review of program tools for support of language of the formal specification Z is resulted. In addition, the basic criteria of choice and functionality of the considered software are considered. In the article the recommendations on the choice of the most comfortable program instrument are given.ruW-логикаобъектно-ориентированное программированиесистемные требованиясемантические правилаArticle