Z-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.
Z-нотацию первоначально предложил Жан-Реймон Абриаль (Jean-Raymond Abrial) в 1977 году при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer)[1]
Z-нотация основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении и логике предикатов первого порядка. Допустимые выражения в Z-нотации подобраны таким образом, чтобы избегать парадоксов аксиоматической теории множеств. Также Z-нотация содержит стандартизированный каталог часто используемых математических функций и предикатов.
Хотя Z-нотация использует много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX. Z ttf font[2] — специализированный шрифт для Z-нотации.
В 2002 году Международная организация по стандартизации завершила процесс по стандартизации Z-нотации[3].
Для Z создано объектно-ориентированное расширение, Object-Z.[4]
Ссылки
- ↑ 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
- ↑ GoldenWeb.it — Free True Type Fonts download — Zed.ttf
- ↑ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics. — ISO/IEC 13568:2002. — 2002-07-01. — P. 196.
- ↑ Duke, R. , & Rose, G. (2000). Formal object oriented specification using object-z. Cornerstones of Computing. Macmillan.
Литература
- 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.
 |
Это заготовка статьи по информатике. Вы можете помочь проекту, дополнив её. |
 | Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .