Z-нотация (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.
Z-нотацию первоначально предложил Жан-Реймон Абриаль (Jean-Raymond Abrial) в 1977 году при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer).
Z-нотация основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении, и логике предикатов первого порядка. Допустимые выражения в Z-нотации подобраны таким образом, чтобы избегать парадоксов аксиоматической теории множеств. Также Z-нотация содержит стандартизированный каталог часто используемых математических функций и предикатов.
Хотя Z-нотация использует много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX. Z ttf font — специализированный шрифт для Z-нотации.
В 2002 году Международная организация по стандартизации завершила процесс по стандартизации Z-нотации.
Все словари Общий словарь
Случайные ссылки:
Лихорадка Орибока - острая инфекционная...
Поровые поля — органы чувств у самок кл...
Сволочьё - То же, что: сволочь....
Каан - американский актёр [«Путешествие...
Кастаньеты (исп. castanetas), ударный м...
Медальерное искусство - искусство изгот...
Септоль (от латинского septimus — седьм...
Запросы для разгадывания кроссвордов и сканвордов • Карбункул 6 букв • Самка 8 букв • Сковорода 7 букв • Складень 9 букв
Добавить комментарий
|