Z нотация

Z нотация

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

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

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

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

Содержание

Стандарты

В 2002 Международная Организация по Стандартизации ([2]

См. также

  • B-Метод
  • Z++
  • Object-Z
  • Формальные методы

Ссылки

  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. — С. 196.

Литература



Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Z нотация" в других словарях:

  • нотация — читать нотацию.. Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. нотация поучение, наставление, назидание, нравоучение, мораль, проповедь, нотация, урок; вливание, поученье, выговор,… …   Словарь синонимов

  • НОТАЦИЯ — (лат., от notare замечать). Выговор, наставление. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. НОТАЦИЯ выговор, внушение. Словарь иностранных слов, вошедших в состав русского языка. Павленков Ф., 1907 …   Словарь иностранных слов русского языка

  • Нотация — множество символов и правила их применения, используемые для представления лексических единиц и их взаимоотношений. По английски: Notation Синонимы английские: System of notation См. также: Нотация Коды классов Финансовый словарь Финам …   Финансовый словарь

  • Нотация Форсайта—Эдвардса — (FEN)  стандартная нотация записи шахматных диаграмм. Описание Запись FEN описывает позицию на шахматной доске в виде строки ASCII символов. Поля записи: Положение фигур со стороны белых. Позиция описывается цифрами и буквами по горизонталям …   Википедия

  • Нотация Айверсона — Нотация Айверсона, или скобка Айверсона, обозначение в математике. Согласно этому обозначению, истинное или ложное утверждение, заключенное в квадратные скобки, равно 1, если данное утверждение истинно, и 0, если данное утверждение ложно. Другими …   Википедия

  • нотация — и, ж. notation, лат. notatio замечание. Система условных письменных обозначений, принятая в какой лю. отрасли (знаний, производства и т. п.). Шахматная нотация. Н. древних книг. БАС 1. Перевод при сем сообщенной нотации. 1779. Прис. Крыма 3 179.… …   Исторический словарь галлицизмов русского языка

  • Нотация Форсайта — Эдвардса (FEN)  стандартная нотация записи шахматных диаграмм. Описание Запись FEN описывает позицию на шахматной доске в виде строки ASCII символов. Поля записи: Положение фигур со стороны белых. Позиция описывается цифрами и буквами по… …   Википедия

  • нотация — индексация Множество символов и правила их применения, используемые для представления лексических единиц и их взаимоотношений [ГОСТ 7.74 96] нотация Набор символов и правил их использования для представления данных. [ИСО/МЭК 2382 5] [ГОСТ Р 52292 …   Справочник технического переводчика

  • НОТАЦИЯ — 1. НОТАЦИЯ1, нотации, жен. (лат. notatio замечание) (разг.). Выговор, наставление. «В душе нотацию себе я прочитал.» Некрасов. 2. НОТАЦИЯ2, нотации, жен. (лат. notatio замечание) (спец.). Система условных письменных обозначений, принятая в какой… …   Толковый словарь Ушакова

  • НОТАЦИЯ — 1. НОТАЦИЯ1, нотации, жен. (лат. notatio замечание) (разг.). Выговор, наставление. «В душе нотацию себе я прочитал.» Некрасов. 2. НОТАЦИЯ2, нотации, жен. (лат. notatio замечание) (спец.). Система условных письменных обозначений, принятая в какой… …   Толковый словарь Ушакова

  • нотация — 1. НОТАЦИЯ, и; ж. [от лат. notātio замечание, обозначение]. Наставление, нравоучение; выговор. Выслушать очередную нотацию. Получить нотацию. Он любит читать нотации. 2. НОТАЦИЯ, и; ж. [от лат. notātio замечание, обозначение]. Спец. 1. Система… …   Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»