Выбор инструментария для формальной спецификации информационных систем в нотации Z
Цифровой репозитарии Национального технического университета "Харьковский политехнический институт" (eNTUKhPIIR)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Выбор инструментария для формальной спецификации информационных систем в нотации Z
|
|
| Creator |
Старусев, О. Г.
|
|
| Subject |
W-логика
объектно-ориентированное программирование системные требования семантические правила |
|
| Description |
У статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – 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. |
|
| Date |
2015-09-07T11:14:23Z
2015-09-07T11:14:23Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Старусев О. Г. Выбор инструментария для формальной спецификации информационных систем в нотации Z / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 46. – С. 86-89.
http://repository.kpi.kharkov.ua/handle/KhPI-Press/16586 |
|
| Language |
ru
|
|
| Publisher |
НТУ "ХПИ"
|
|