Выбор инструментария для формальной спецификации информационных систем в нотации Z

Abstract

У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – 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.