Please use this identifier to cite or link to this item: http://repository.kpi.kharkov.ua/handle/KhPI-Press/16611
Title: Использование метода формальной спецификации Z для описания информационной системы
Authors: Старусев, О. Г.
Keywords: спецификация формальная; моделирование; подход алгебраический; диабет сахарный; инсулин; насос
Issue Date: 2004
Publisher: НТУ "ХПИ"
Citation: Старусев О. Г. Использование метода формальной спецификации Z для описания информационной системы / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 34. – С. 169-174.
Abstract: В статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - 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.
URI: http://repository.kpi.kharkov.ua/handle/KhPI-Press/16611
Appears in Collections:Вісник № 34

Files in This Item:
File Description SizeFormat 
vestnik_HPI_2004_34_Starusev_Ispolzovanie.pdf346,6 kBAdobe PDFThumbnail
View/Open
Show full item record  Google Scholar



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.