The Z notation, named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modeling computing systems. It is targeted at the clear specification of computer programs and the formulation of proofs about the intended program behavior.

PropertyValue
dbpprop:abstract
  • The Z notation, named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modeling computing systems. It is targeted at the clear specification of computer programs and the formulation of proofs about the intended program behavior.
  • Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden. Z wurde von Jean-Raymond Abrial Ende der 70er Jahre geschaffen und durch die Programming Research Group im Oxford University Computing Laboratory weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO standardisiert.
  • La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
  • Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。 ZはZF集合論から名前をとって命名された。 Zは次のことに焦点を当てている。 コンピュータプログラムの簡明な仕様の記述。 意図するプログラムの振る舞いの証明の形式化。 Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された。 Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。 Abrial は、1980年前半にこの研究グループで開発作業を行った。 Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。 Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。 Zは標準化されたカタログを含む。 このカタログは数学的ツールキットと呼ばれる。 このツールキットは、一般的に使われる数学的な関数と述語から構成される。 Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。 Zを初めて学ぶ人にとって有用な文献として次の資料がある。 The Z Notation: a reference manual (英語) Zは、IBM CICS プロジェクトで使われた。
  • Ficheiro:Ambox rewrite. svg Esta página precisa ser reciclada de acordo com o livro de estilo Sinta-se livre para editá-la para que esta possa atingir um nível de qualidade superior. A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais. É direcionado à especificação direta de programas de computador e na formulação de testes sobre o comportamento específico do programa. Z foi originalmente proposta por Jean-Raymond Abrial em 1977 com a ajuda de Steve Schuman e Bertrand Meyer. Z foi mais desenvolvida no Programming Research Group (Grupo de Pesquisa de Programação) em Oxford University (Universidade de Oxford), onde Abrial trabalhou no começo dos anos 80. Z é baseada na notação matemática padrão usada no axioma da teoria dos conjuntos, cálculos lambda, e lógica predicada de primeira ordem. Todas as expressões na notação Z são tipadas, conseqüentemente desviando alguns dos paradoxos da Teoria Ingênua dos Conjuntos. Z contém um catálogo padronizado (chamado de caixa de ferramentas matemáticas) de funções matemáticas mais freqüentemente usadas e predicados. Apesar da notação Z usar muitos símbolos não-ASCII, a especificação inclui sugestões para renderizar os símbolos da notação Z em ASCII e em Látex. Uma fonte ttf de Z também está disponível para download. Padronização A ISO completou a padronização de Z em 2002. Esta padronização pode ser obtida diretamente da ISO. • Métodos formais The World Wide Web Virtual Library: The Z notation, por Jonathan Bowen Community Z Tools (CZT) project Specification proposals by Ian Toyn ZETA open-source system for development software specifications in Z HOL-Z open-source proof environment for Z in Isabelle/HOL Mike Spivey's Fuzz Type-Checker for Z Z/Eves — A proof checker for the Z notation (site em alemão mas todos os manuais são em inglês)
  • Z-нотация (англ. Z notation, произносится /zɛd/), названная в честь теории множеств Цермела-Френкеля, является формальным языком спецификации, используемым для описания и моделирования вычислительных систем. Она предназначена для ясной спецификации компьютерных программ и формулировки доказательств ожидаемого поведения программы. Z-нотация первоначально предложил Жан-Реймонд Эбриэл (Jean-Raymond Abrial) в 1977 при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer) . Она была развита далее в Программной Исследовательской группе в Оксфордском университете, где Эбриэл работал в начале восьмидесятых. Z-нотация основана на стандартной математической нотации, используемой в аксиоматической теории множеств, лямбда-исчислении, и логике предикатов первого порядка. Все выражения в Z-нотации уже напечатаны для избежания некоторых парадоксов аксиоматической теории множеств. Также Z-нотация содержит стандартизированный каталог (называемый математическим набором инструментов) обычно используемых математических функций и предикатов. Хотя Z-нотация использует много не-ASCII символов, спецификация включает предложения того, чтобы включить символы Z-нотации в ASCII и в LaTeX. Z ttf font шрифт также доступен для свободной загрузки.
  • Z нотація — формальна мова для написання специфікацій для інформаційних систем та модулів. Z базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, в свою чергу, складаються із послідовності описань типізованих змінних, та значень, які приймають ці змінні. Z було розроблено Жаном-Раймоном Абріалем наприкінці 70-их років. Подальші дослідження проводились групою дослідників проблем програмування комп'ютерної лабораторії Університету Оксфорда. У 2002 році, Z було стандартизовано в ISO.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • The Z notation, named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modeling computing systems. It is targeted at the clear specification of computer programs and the formulation of proofs about the intended program behavior.
  • Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen. Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden.
  • La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
  • Ficheiro:Ambox rewrite. svg Esta página precisa ser reciclada de acordo com o livro de estilo Sinta-se livre para editá-la para que esta possa atingir um nível de qualidade superior. A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais.
  • Z-нотация (англ. Z notation, произносится /zɛd/), названная в честь теории множеств Цермела-Френкеля, является формальным языком спецификации, используемым для описания и моделирования вычислительных систем.
  • Z нотація — формальна мова для написання специфікацій для інформаційних систем та модулів. Z базується на теорії множин Цермело-Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем.
rdfs:label
  • Z notation
  • Z-Notation
  • Notation Z
  • Z言語
  • Z notation
  • Z-нотация
  • Z нотація
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:influencedBy of
is dbpprop:redirect of
is owl:sameAs of