Bahasa pengaturcaraan notasi Z - Wikipedia

# Bahasa pengaturcaraan notasi Z

### Dari Wikipedia Bahasa Melayu, ensiklopedia bebas.

Bahasa pengaturcaraan notasi Z (disebut umumnya zed, dinamakan sempena teori set Zermelo-Fränkel) adalah bahasa spesifikasi rasmi yang digunakan bagi mengambar dan memodelkan aturcara komputer. Ia disasarkan bagi spesifikasi jelas aturcara komputer dan pembentukan bukti mengenai tabiat aturcara 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 notation 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.

## [Sunting] Piwaian

ISO melengkapkan usaha piwaian Z standardization pada 2002. Piwaian 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 pages

## [Sunting] Lihat juga

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

## [Sunting] 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

## [Sunting] Pautan luar

- The Z Notation: a reference manual
- Jonathan Bowen's The Z notation
- Specification proposals by Ian Toyn
- Suppliers of the ISO formal specification
- Community Z Tools (CZT) project
- 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
- Using Z: Specification, Refinement, and Proof (Include a PDF book)

Diperolehi daripada "http://ms.wikipedia.org../../../b/a/h/Bahasa_pengaturcaraan_notasi_Z_03bb.html"

##### Views

- Rencana
- Perbincangan
- Semakan terkini

##### perhubungan

- Tentang Wikipedia
- Masyarakat
- Muat naik pintar
- Hubungi kami
- Menderma
- Bantuan

##### Cari

##### Bahasa lain

- Deutsch
- English
- Français
- 日本語
- Українська