Tatatanda Z

Bahasa pengaturcaraan notasi Z (disebut umumnya zed, dinamakan sempena teori set Zermelo-Fränkel) ialah bahasa spesifikasi rasmi yang digunakan bagi mengambar dan memodelkan atur cara komputer. Ia disasarkan bagi spesifikasi jelas atur cara komputer dan pembentukan bukti mengenai tabiat atur cara berkenaan.

Z pada asalnya dicadangkan oleh Jean-Raymond Abrial pada tahun 1977 dengan bantuan Steve Schuman dan Bertrand Meyer .[1] Ia dimajukan dengan lebih lanjut oleh Programming Research Group di Universiti Oxford, di mana Abrial bertugas pada awal lapan puluhan.


Sungguhpun notasi Z menggunakan banyak simbol bukan ASCII, spesifikasi termasuk cadangan menukar simbol notasi Z kepada ASCII dan pada LaTeX.


Sumber berguna bagi pengguna baru yang berminat mempelajari Z ialah The Z Notation: a reference manual.

Notasi Z digunakan pada projek CICS IBM.

Piawaian

ISO melengkapkan usaha piawaian Z pada 2002. Piawaian ini, berjudul Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics, ISO/IEC 13568:2002, boleh didapati secara lansung dari ISO.

13568_2002.zip, 1 MB PDF, 196 halaman

Lihat juga

  • Z++
  • Object-Z
  • Z User Group (ZUG)
  • Community Z Tools (CZT) project
  • Formal methods
  • B-Method

Bibliografi

  1. ^ Jean-Raymond Abrial, Stephen A. Schuman and Bertrand Meyer: A Specification Language, dalam On the Construction of Programs, Cambridge University Press, eds. R. McNaughten and R.C. McKeag, 1980 (mengambarkan versi awal bahasa pengaturcaraan tersebut). ISBN 0-521-23090-X

Pautan luar

  • The Z Notation: a reference manual
  • Jonathan Bowen's The Z notation Diarkibkan 2006-10-04 di Wayback Machine
  • Specification proposals by Ian Toyn Diarkibkan 2007-01-15 di Wayback Machine
  • Suppliers of the ISO formal specification
  • Community Z Tools (CZT) project
  • ZETA open-source system for development software specifications in Z Diarkibkan 2006-01-10 di Wayback Machine
  • HOL-Z open-source proof environment for Z in Isabelle/HOL
  • Mike Spivey's Fuzz Type-Checker for Z Diarkibkan 2006-03-26 di Wayback Machine
  • Using Z: Specification, Refinement, and Proof (Include a PDF book)