Википедия
Z-нота́ция (, произносится /zɛd/) — формальный язык спецификации , используемый для описания и моделирования программ и их формальной верификации .
Z-нотацию первоначально предложил Жан-Реймон Абриаль (Jean-Raymond Abrial) в 1977 году при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer)
Z-нотация основана на стандартной математической нотации, используемой в аксиоматической теории множеств , лямбда-исчислении и логике предикатов первого порядка . Допустимые выражения в Z-нотации подобраны таким образом, чтобы избегать парадоксов аксиоматической теории множеств . Также Z-нотация содержит стандартизированный каталог часто используемых математических функций и предикатов.
Хотя Z-нотация использует много символов вне набора ASCII , спецификация допускает запись выражений целиком в ASCII или посредством LaTeX . Z ttf font — специализированный шрифт для Z-нотации.
В 2002 году Международная организация по стандартизации завершила процесс по стандартизации Z-нотации.
Для Z создано объектно-ориентированное расширение, .