Старусев, О. Г.2015-09-082015-09-082004Старусев О. Г. Использование метода формальной спецификации Z для описания информационной системы / О. Г. Старусев // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2004. – № 34. – С. 169-174.https://repository.kpi.kharkov.ua/handle/KhPI-Press/16611В статье рассмотрен подход к описанию информационной системы с помощью одного из методов формальной спецификации - 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.ruспецификация формальнаямоделированиеподход алгебраическийдиабет сахарныйинсулиннасосArticle