About: Z notation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatProgrammingLanguages, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FZ_notation

The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.

AttributesValues
rdf:type
rdfs:label
  • Z notation
  • تدوين زد
  • Z-Notation
  • Lenguaje Z
  • Notation Z
  • Notazione Z
  • Z言語
  • Z notation
  • Z-нотация
rdfs:comment
  • The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
  • تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوترو الأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
  • La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
  • La notazione Z è un linguaggio di specifica formale utilizzato per la descrizione e progettazione di sistemi informatici. Il suo nome deriva dalla teoria degli insiemi di Zermelo - Fraenkel. Descritta per la prima volta nel 1974 da Jean-Raymond Abrial, la notazione Z è stata standardizzata dall'ISO nel 2002. È basata sulla notazione della teoria assiomatica degli insiemi, del lambda calcolo e della logica del primo ordine. Le espressioni sono tipate.
  • 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.
  • El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford.
  • 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を初めて学ぶ人にとって有用な文献として次の資料がある。
  • 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-нота́ция (англ. Z notation, произносится /zɛd/) — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Z-нотацию первоначально предложил Жан-Реймон Абриаль (Jean-Raymond Abrial) в 1977 году при участии Стива Шумана (Steve Schuman) и Бертранда Мейера (Bertrand Meyer) Хотя Z-нотация использует много символов вне набора ASCII, спецификация допускает запись выражений целиком в ASCII или посредством LaTeX. Z ttf font — специализированный шрифт для Z-нотации. Для Z создано объектно-ориентированное расширение, Object-Zрусск..
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3232 as of Jan 24 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software