Z-Notation

Z-Notation

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 (ISO 13568) standardisiert.

Inhaltsverzeichnis

Erweiterungen

Object-Z Beispiel

Object-Z

Object-Z ist eine objektorientierte Erweiterung die an der University of Queensland, Australien entwickelt wurde. Sie erweitert Z durch Sprachkonstrukte die den objekt-orientierten Paradigmen ähneln. Im Wesentlichen sind dies Klassen, Vererbung und Polymorphismus. Object-Z ist zwar nicht so populär wie Z selbst,doch es erhielt erhebliche Aufmerksamkeit von der formalen Spezifikations-Gemeinschaft. Untersuchungen über verschiedene Aspekte der Sprache erfolgen derzeit, einschließlich-Sprachen, die Object-Z nutzen und diverser Tool-Unterstützungen (z.B. durch das Community Z-Tools-Projekt).

Z++

Z++ ist eine objektorientierte Erweiterung der Z-Notation.[1]

Literatur

Weblinks

Einzelnachweise

  1. Lano, Kevin, Z++, an Object-Oriented Extension to Z in Proceedings of the 5th Annual Z User Meeting, Oxford 1990, Workshops in Computing, Springer-Verlag 1991, S. 151–172, BibTeX-Eintrag bei DBLP

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Notation de la dette — Notation financière Pour les articles homonymes, voir notation et rating. La notation financière ou notation de la dette ou rating (dans le monde anglo saxon) est l appréciation, par une agence de notation financière, du risque de solvabilité… …   Wikipédia en Français

  • Notation financiere — Notation financière Pour les articles homonymes, voir notation et rating. La notation financière ou notation de la dette ou rating (dans le monde anglo saxon) est l appréciation, par une agence de notation financière, du risque de solvabilité… …   Wikipédia en Français

  • notation — [ nɔtasjɔ̃ ] n. f. • 1531 « décision »; lat. notatio 1 ♦ (1750) Action, manière de noter, de représenter par des symboles; système de symboles. Notation des nombres, notation numérique; notation par lettres. Notation littérale, algébrique, créée… …   Encyclopédie Universelle

  • NOTATION MUSICALE — Contrairement à la peinture et à la sculpture, la musique est un art qui suppose un intermédiaire entre le créateur et son public. Cet intermédiaire, l’exécutant, se voit confier un texte noté selon certaines conventions qui ont évolué au fil des …   Encyclopédie Universelle

  • NOTATION MATHÉMATIQUE — Pour connaître une langue naturelle, il n’est pas nécessaire d’en apprendre l’histoire ni, pour comprendre sa littérature, de faire l’étude historique de la grammaire et du vocabulaire. À cet égard, le langage mathématique, en raison de son… …   Encyclopédie Universelle

  • Notation — ist die Benennung von Gegenständen durch das Festhalten (qualitative und quantitative Repräsentation) von Dingen und Bewegungsverläufen in schriftlicher Form mit vereinbarten symbolischen Zeichen. Das Fehlen einer Notation macht es bisweilen… …   Deutsch Wikipedia

  • Notation algebrique — Notation algébrique …   Wikipédia en Français

  • Notation algébrique (jeu d'échecs) — Notation algébrique …   Wikipédia en Français

  • Notation échiquéenne — Notation algébrique …   Wikipédia en Français

  • Notation (jonglerie) — Notation en jonglerie Pour les articles homonymes, voir notation. Une notation en jonglerie est, à l’image d’une notation musicale, le fait de transcrire sur un support la description d’un mouvement de jonglerie afin de pouvoir le conserver, le… …   Wikipédia en Français

  • Notation de Conway — Notation des flèches chaînées de Conway La notation des flèches chaînées de Conway est un moyen d exprimer de très grands nombres créée par le mathématicien John Horton Conway. Elle consiste en une suite finie d entiers positifs séparés par des… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”