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

Скорочена інформація про документ
dc.contributor.authorСтарусев, О. Г.ru
dc.date.accessioned2015-09-07T11:14:23Z
dc.date.available2015-09-07T11:14:23Z
dc.date.issued2004
dc.description.abstractУ статті наведений огляд програмних засобів, що підтримують метод формальної специфікації – Z, розглянуті основні властивості та характеристики програмного інструментарію, наведені рекомендації щодо вибору того чи іншого програмного засобу.uk
dc.description.abstractIn 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.en
dc.identifier.citationСтарусев О. Г. Выбор инструментария для формальной спецификации информационных систем в нотации Z / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 46. – С. 86-89.ru
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/16586
dc.language.isoru
dc.publisherНТУ "ХПИ"ru
dc.subjectW-логикаru
dc.subjectобъектно-ориентированное программированиеru
dc.subjectсистемные требованияru
dc.subjectсемантические правилаru
dc.titleВыбор инструментария для формальной спецификации информационных систем в нотации Zru
dc.typeArticleen

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
vestnik_HPI_2004_46_Starusev_Vybor_instrument.pdf
Розмір:
359.39 KB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.23 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Вісник № 46