Z-нотация
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]
[править] См. также
[править] Ссылки
- ↑ 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
- ↑ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics. — ISO/IEC 13568:2002. — P. 196.
[править] Литература
- J. Michael Spivey The Z Notation: a reference manual. — 2nd edition. — Prentice Hall International Series in Computer Science, 1992.
- Jim Davies and Jim Woodcock Using Z: Specification, Refinement and Proof. — Prentice Hall International Series in Computer Science, 1996. — ISBN 0-13-948472-8
- Jonathan Bowen Formal Specification and Documentation using Z: A Case Study Approach. — International Thomson Computer Press, 1996. — ISBN 1-85032-230-9
- Jonathan Jacky The Way of Z: Practical Programming with Formal Methods. — Cambridge University Press, 1997. — ISBN 0-521-55976-6
 |
Это заготовка статьи по информатике. Вы можете помочь проекту, исправив и дополнив её. |
