Использование метода формальной спецификации Z для описания информационной системы

Скорочена інформація про документ
dc.contributor.authorСтарусев, О. Г.ru
dc.date.accessioned2015-09-08T09:21:22Z
dc.date.available2015-09-08T09:21:22Z
dc.date.issued2004
dc.description.abstractВ статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - Z. Приведено описание метода и указано его использование при описании реальной технической системы, а также место этого метода среди других методов формального описания систем.ru
dc.description.abstractIn this article the approach to information system description was considered with Z formal method specification using. In this article to give a method description and illustrate using it with real technical system description, and was methods place among all system formal specification methods set.en
dc.identifier.citationСтарусев О. Г. Использование метода формальной спецификации Z для описания информационной системы / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 34. – С. 169-174.ru
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/16611
dc.language.isoru
dc.publisherНТУ "ХПИ"ru
dc.subjectспецификация формальнаяru
dc.subjectмоделированиеru
dc.subjectподход алгебраическийru
dc.subjectдиабет сахарныйru
dc.subjectинсулинru
dc.subjectнасосru
dc.titleИспользование метода формальной спецификации Z для описания информационной системыru
dc.typeArticleen

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
vestnik_HPI_2004_34_Starusev_Ispolzovanie.pdf
Розмір:
346.6 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.23 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник № 34