Z Sprog

Z notation er et formelt sprog, der anvendes i software engineering til formel specifikation af et edb-system, såsom en pre-udviklingsprogram for at kode det i et programmeringssprog. Den blev udviklet af Jean-Raymond Abrial mens en del af Programmering Forskningsgruppen Computer Laboratory, University of Oxford.

Z notation er baseret på mængdelære, lambda calculus og første-ordens logik. Z strukturer, der kaldes skemaer er defineret til at beskrive tilstanden plads af systemet og de operationer udføres på det. I de ordninger og prædikatforbrydelser variabler, der påvirker værdierne af de angivne variabler deklareres.


Eksempel

Standard

Z opnåede ISO-standarden sprog i 2002. Du kan få en kopi direkte til stedet for ISO.


Værktøj

  • ERZ - at integrere web-baserede paradigmer integration værktøj specielt enhed forholdet model bliver svarende til Z sprog, som er udviklet i PHP af Luis Espino, Guatemala.
  • Hurtigste testværktøj til open source sprog Z.
  • Fuzz - En brik sprog typer til Z.
  • HOL-Z åbent testmiljø til Z kode i Isabelle / HOL
  • Z Word Værktøj - Skriv specifikationer i Microsoft Word.
  • ZETA-systemet åbent for udvikling af specifikationer Z. kode
  • Z / Eves en tester til test Z Sprog
Forrige artikel Zenobio Dagha Sapaico
Næste artikel Zapotecanas sprog