Z-нотация

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

Z-нотация (англ. Z notation, произносится /zɛd/), названная в честь теории множеств Цермела-Френкеля, является формальным языком спецификации, используемым для описания и моделирования вычислительных систем. Она предназначена для ясной спецификации компьютерных программ и формулировки доказательств ожидаемого поведения программы.

Z-нотация первоначально предложил Жан-Реймонд Эбриэл (Jean-Raymond Abrial) в 1977 при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer) [1]. Она была развита далее в Программной Исследовательской группе в Оксфордском университете, где Эбриэл работал в начале восьмидесятых.

Z-нотация основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении, и логике предикатов первого порядка. Все выражения в Z-нотации уже напечатаны для избежания некоторых парадоксов аксиоматической теории множеств. Также Z-нотация содержит стандартизированный каталог (называемый математическим набором инструментов) обычно используемых математических функций и предикатов.

Хотя Z-нотация использует много не-ASCII символов, спецификация включает предложения того, чтобы включить символы Z-нотации в ASCII и в LaTeX. Z ttf font шрифт также доступен для свободной загрузки.

Содержание

Стандарты

В 2002 Международная Организация по Стандартизации (ISO) завершила процесс по стандартизации Z-нотации. Стандарт можно получить непосредственно с сайта ISO. [2]

См. также

Ссылки

  1. Jean-Raymond Abrial, Stephen A. Schuman and Bertrand Meyer: A Specification Language, in On the Construction of Programs, Cambridge University Press, eds. A. M. Macnaghten and R. M. McKeag, 1980 (describes early version of the language). ISBN 0-521-23090-X
  2. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics. — ISO/IEC 13568:2002. — P. 196.

Литература


de:Z-Notation

en:Z notation fr:Notation Z ja:Z言語 lt:Z notacija ms:Tatatanda Z pt:Z notation uk:Z нотація

Личные инструменты

Served in 0.165 secs.