Использование метода формальной спецификации Z для описания информационной системы
Цифровой репозитарии Национального технического университета "Харьковский политехнический институт" (eNTUKhPIIR)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Использование метода формальной спецификации Z для описания информационной системы
|
|
| Creator |
Старусев, О. Г.
|
|
| Subject |
спецификация формальная
моделирование подход алгебраический диабет сахарный инсулин насос |
|
| Description |
В статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - Z. Приведено описание метода и указано его использование при описании реальной технической системы, а также место этого метода среди других методов формального описания систем.
In 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. |
|
| Date |
2015-09-08T09:21:22Z
2015-09-08T09:21:22Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Старусев О. Г. Использование метода формальной спецификации Z для описания информационной системы / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 34. – С. 169-174.
http://repository.kpi.kharkov.ua/handle/KhPI-Press/16611 |
|
| Language |
ru
|
|
| Publisher |
НТУ "ХПИ"
|
|