Обозначение Z

От / / Оставьте комментарий

Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем.  Жан-Раймон Абриал разработал Z-нотацию в 1974 году […]

Computer-related introductions in 1977, Formal specification languages, Oxford University Computing Laboratory, Specification languages, Z notation, Введение в компьютерную сферу в 1977 году, Вычислительная лаборатория Оксфордского университета, Обозначение Z, Языки спецификаций, Языки формальных спецификаций

Обозначение Z

  • Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем. 
  • Жан-Раймон Абриал разработал Z-нотацию в 1974 году и преподавал ее в Университете Гренобля. 
  • Z-нотация основана на стандартной математической нотации и содержит стандартизированный каталог математических функций и предикатов. 
  • Z-нотация дополнена блоками Z-схем для объединения спецификаций в большие спецификации. 
  • Z-нотация использует много символов, отличных от ASCII, и включает предложения по отображению символов в ASCII и LaTeX. 
  • В 2002 году ИСО завершила стандартизацию Z-нотации. 
  • В 1992 году компьютерная лаборатория Оксфордского университета получила Королевскую премию за разработку Z-нотации с IBM. 

Полный текст статьи:

Обозначение Z — Википедия

Похожие статьи:

  1. Снабжение (экономика) Предложение (экономика) Определение и функции предложения Предложение — это количество товаров, которое продавцы готовы предложить по...
  2. Шахматная нотация Шахматная нотация Основы шахматной нотации Шахматная нотация используется для описания ходов в шахматах.  Обозначения включают буквы,...
  3. Нотная запись Музыкальная нотация Основы музыкальной нотации Музыкальная нотация — система записи музыкальных звуков и их комбинаций.  Ноты...
  4. Национальный набор заменяющих символов Национальный заменяющий набор символов Национальный заменяющий набор символов (NRCS) NRCS использовался в терминальных системах DEC с...
  5. Фигурный бас Фигурный бас Басовый континуо и фигурная нотация басов Басовый континуо — это непрерывная партия, которая обычно...
  6. Обозначение де Брейна Обозначение Де Брейна Основы нотации Де Брейна Нотация Де Брейна — это синтаксис λ-исчисления с измененным...
  7. Ценовая эластичность предложения Ценовая эластичность предложения Определение и применение ценовой эластичности предложения Ценовая эластичность предложения (PES) показывает чувствительность количества...
  8. Расширенный ASCII Расширенный формат ASCII История и развитие ASCII ASCII был разработан в 1963 году для передачи текста...
  9. Научное обозначение Научная нотация Научная нотация используется для записи чисел с использованием экспоненциальной формы.  Основные операции в научной...
  10. Инженерные обозначения Инженерная нотация Определение и использование инженерной нотации Инженерная нотация — это научная нотация с показателем степени,...
  11. Обозначение LCF Обозначение LCF Основы LCF-нотации LCF-нотация разработана для представления кубических графов с гамильтоновым циклом.  Цикл включает две...
  12. Польские обозначения Польская нотация Польская нотация (PN) — математическая нотация с операторами перед операндами.  Она не требует использования...
  13. L-нотация L-обозначение Определение L-нотации L-нотация используется для описания асимптотической скорости роста функций, связанных с вычислительной сложностью алгоритмов. ...

Оставьте комментарий

Прокрутить вверх