Z言語

Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。 ZはZF集合論から名前をとって命名された。 Zは次のことに焦点を当てている。

  • コンピュータプログラムの簡明な仕様の記述。
  • 意図するプログラムの振る舞いの証明の形式化。

Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された[1]。 Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。 Abrial は、1980年前半にこの研究グループで開発作業を行った。

Zは、公理的集合論ラムダ計算一階述語論理で使われる標準的な数学的記法に基づいている。 Zで記述されたあらゆる式は型づけられており、それにより素朴集合論パラドックスのいくつかを回避する。 Zは標準化されたカタログを含む。 このカタログは数学的ツールキットと呼ばれる。 このツールキットは、一般的に使われる数学的な関数と述語から構成される。

Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。

Zを初めて学ぶ人にとって有用な文献として次の資料がある。

Zは、IBM CICS プロジェクトで使われた。

標準

ISO (国際標準化機構) は2002年にZの標準化作業を完了した。 この仕様の題名は Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics ISO/IEC 13568:2002 である。 ISOから直接に取得し閲覧することができる。

13568_2002.zip、1 MB PDF、196 頁

関連項目

参考文献

  1. ^ Jean-Raymond Abrial, Stephen A. Schuman and Bertrand Meyer A Specification Language, in On the Construction of Programs, Cambridge University Press, eds. R. McNaughten and R.C. McKeag, 1980 (Zの初期のバージョンを記述)

外部リンク

この記事は2008年11月1日以前にFree On-line Dictionary of Computingから取得した項目の資料を元に、GFDL バージョン1.3以降の「RELICENSING」(再ライセンス) 条件に基づいて組み込まれている。

Read other articles:

Gereja Balaguer Balaguer merupakan sebuah kota di Spanyol. Kota ini letaknya di bagian timurlaut. Tepatnya di Provinsi Lleida. Pada tahun 2009, kota ini memiliki jumlah penduduk sebesar 16.779 jiwa dan memiliki luas wilayah 57,32 km². Kota ini memiliki angka kepadatan penduduk 290 jiwa/km². Pranala luar Official municipal web site (Catalonia) Information about Balaguer from the Generalitat de Catalunya Diarsipkan 2008-04-21 di Wayback Machine. (Catalonia) Statistical information - (Institut...

 

 

Invasi Britania-Soviet ke IranBagian dari Perang Dunia IIWilayah pendudukan Soviet dan Britania di IranTanggal25 Agustus 1941-17 September 1941LokasiIranHasil Kemenangan sekutu Reza Shah Pahlavi turun tahtaPerubahanwilayah Soviet menduduki Iran utara Britania menduduki Iran selatanPihak terlibat  United Kingdom Kemaharajaan Britania Uni Soviet IranTokoh dan pemimpin Edward Quinan Dmitri T. Kozlov Reza Shah PahlaviKekuatan 3 angkatan bersenjata 2 divisi,3 brigade 9 divisiKorban 22 tewas&#...

 

 

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Ainur – berita · surat kabar · buku · cendekiawan · JSTOR Ainur atau dikenal sebagai para Kudus, adalah makhluk makhluk dalam fiksi ciptaan Tolkien mencakup dua golongan baik Valar maupun Maiar. Mereka a...

Australian athlete (b.1972) Greg Bennett2007 Dallas Win in the Lifetime Triathlon US Open Series FinalPersonal informationNicknameGBBorn (1972-01-02) 2 January 1972 (age 52)Sydney, New South Wales[1]Height5 ft 11 in (1.80 m)[1]Weight69 kg (152 lb)[1]SportCountryAustraliaTeamBennett Endurance Medal record Representing  Australia Men's triathlon ITU Triathlon World Cup 2003 Elite 2002 Elite Greg Bennett (born 2 January 1972, in Sydney, ...

 

 

Prasasti peringatan pendirian Rheinische Missionsgesellschaft di Mettmann. Rheinische Missionsgesellschaft (disingkat RMG; Indonesia: Serikat Misionaris Rheincode: id is deprecated ) adalah salah satu organisasi misionaris terbesar di Jerman. Nama Rheinische mengacu kepada sungai Rhein. Organisasi ini pada mulanya dibentuk dari misi-misi yang lebih kecil, yang didirikan sejak tahun 1799, tetapi secara resmi merupakan penyatuan tiga persatuan misi penginjilan di Elberfeld, Barmen dan Köln pad...

 

 

Soviet sculptor This article is about the Soviet sculptor. For other uses, see Mukhina. Vera MukhinaВера МухинаVera Mukhina; portrait byMikhail Nesterov (1937)BornVera Ignatyevna Mukhina(1889-07-01)1 July 1889Riga, Governorate of Livonia, Russian EmpireDied6 October 1953(1953-10-06) (aged 64)Moscow, Soviet UnionNationalityRussianKnown forSculptureSpouse Alexey Zamkov ​ ​(m. 1918; died 1942)​ Vera Ignatyevna Mukhina (Russian: ...

Priti Gautam AdaniPriti AdaniLahir1965 (umur 58–59)Mumbai, Maharashtra, IndiaPendidikanSekolah Tinggi dan Rumah Sakit Gigi Pemerintah Ahmedabad (B.D.S.)AlmamaterUniversitas GujaratPekerjaanPengusaha perempuanGelarKetua dari Yayasan AdaniSuami/istriGautam AdaniAnakKaran Adani (anak) Jeet Adani (anak) Priti Gautam Adani (lahir tahun 1965) dengan kekayaan mencapai 1 miliar US dollar ini adalah pengusaha, dokter gigi, dan ketua perempuan dari Yayasan Adani.[1][2] Ia ad...

 

 

Cet article est une ébauche concernant une commune du Puy-de-Dôme. Vous pouvez partager vos connaissances en l’améliorant (comment ?). Le bandeau {{ébauche}} peut être enlevé et l’article évalué comme étant au stade « Bon début » quand il comporte assez de renseignements encyclopédiques concernant la commune. Si vous avez un doute, l’atelier de lecture du projet Communes de France est à votre disposition pour vous aider. Consultez également la page d’aid...

 

 

Napata Relief représentant Taharqa faisant une offrande au dieu Amon de Napata. Localisation Pays Soudan Coordonnées 18° 32′ 06″ nord, 31° 49′ 51″ est Géolocalisation sur la carte : Soudan NapataNapata modifier  Napata est à la fois le nom d'un royaume antique d'Afrique et le nom de sa capitale. Son nom est attaché à la « deuxième période » du royaume de Koush (après le royaume de Kerma et avant celui de Méroé). Une nou...

NASAKOM KonsepNasionalisme Agama Komunisme Marxisme Marhaenisme Islam Politik Internasionalisme Pencetus   Ir. Soekarno Ideologi Terkait Nasionalisme Agama Pan-Islamisme Komunisme Marxisme-Leninisme Marhaenisme Internasionalisme Kelas Pekerja lbsNasakom (kepanjangan dari nasionalisme, agama, dan komunisme) adalah konsep politik yang dicetuskan oleh Presiden Soekarno. Konsep ini berlaku di Indonesia dari 1959 masa Demokrasi Terpimpin hingga Orde Baru, tahun 1966. Gagasan Soekarno men...

 

 

American politician from Georgia Dexter SharperMember of the Georgia House of Representatives from the 177th districtIncumbentAssumed office January 14, 2013Preceded byMark Hatfield Personal detailsBorn (1971-07-09) July 9, 1971 (age 52)Valdosta, GeorgiaPolitical partyDemocratic Dexter Sharper (born July 9, 1971) is an American politician who has served in the Georgia House of Representatives from the 177th district since 2013.[1][2] References ^ Representative Dexter...

 

 

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (mai 2017). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? Comme...

Avon Championships of Seattle 1979 Sport Tennis Data 5 febbraio – 11 febbraio Edizione 3a Superficie Sintetico indoor Campioni Singolare Chris Evert Doppio Françoise Dürr / Betty Stöve 1980 L'Avon Championships of Seattle 1979 è stato un torneo di tennis giocato sul sintetico indoor. È stata la 3ª edizione del torneo, che fa parte del WTA Tour 1979. Si è giocato a Seattle negli USA dal 5 all'11 febbraio 1979. Indice 1 Campionesse 1.1 Singolare 1.2 Doppio 2 Collegamenti esterni Campi...

 

 

Lambang Bir Taybeh Bagian depan pabrik bir Pabrik bir Taybeh adalah sebuah pabrik biru teritorial Palestina yang didirikan pada 1994. Pabrik bir tersebut berada di desa Tepi Barat Taybeh, 35 kilometer dari utara Yerusalem. Pabrik tersebut memproduksi bir pertamanya pada 1995[1] dan sejak itu dikembangkan di seluruh dunia.[2] Taybeh Halal diambil dari nama Taybeh - sebuah tempat di wilayah Tepi Barat, Palestina. Tempat pembuatan bir ini berdiri pada pertengahan tahun 1994 saat ...

 

 

NGC 3811   الكوكبة الدب الأكبر[1]  رمز الفهرس NGC 3811 (الفهرس العام الجديد)2MASX J11411665+4741266 (Two Micron All-Sky Survey, Extended source catalogue)IRAS F11386+4758 (IRAS)MCG+08-21-091 (فهرس المجرات الموروفولوجي)UGC 6650 (فهرس أوبسالا العام)IRAS 11386+4758 (IRAS)PGC 36265 (فهرس المجرات الرئيسية)PSCz Q11386+4758 (كتالوج PSCz)SDSS J114116.62+474126.9 (مسح سلو...

Kota GallatinKotaAlun-alun Gallatin LambangJulukan: G-townLetak Gallatin, TennesseeNegaraAmerika SerikatNegara bagianTennesseeKabupatenSumnerDidirikan1802Diinkorporasikan1815Dinamai berdasarkanAlbert GallatinPemerintahan • JenisPemerintahan wali kota-dewan • Wali kotaPaige BrownLuas • Total22,5 sq mi (58,2 km2) • Luas daratan22,0 sq mi (56,9 km2) • Luas perairan0,5 sq mi (1,3 km2)Keti...

 

 

Western television series The RebelNick Adams as Johnny YumaCreated by Andrew J. Fenady Nick Adams StarringNick AdamsCountry of originUnited StatesOriginal languageEnglishNo. of seasons2No. of episodes76ProductionProduction locations Paramount Pictures Studios Hollywood, California Running time30 minutesProduction companies Celestial Productions Fen-Ker-Ada Productions Mark Goodson-Bill Todman Productions Original releaseNetworkABCReleaseOctober 4, 1959 (1959-10-04) –June 18, 1961...

 

 

The JUSCANZ Group is an informal, information-sharing coalition of like-minded countries at the United Nations Human Rights Council and other United Nations bodies, such as the Third, Fourth Committees[1][2] and the United Nations Conference on Trade and Development. In the United Nations Regional Grouping system, it is considered as a subsection of the Western European and Others Group (WEOG), as most of its members are members of that Group. Its aim is to counterbalance the...

English footballer (born 2000) Phil Foden Foden with England at the 2022 FIFA World CupPersonal informationFull name Philip Walter FodenDate of birth (2000-05-28) 28 May 2000 (age 24)Place of birth Stockport, EnglandHeight 5 ft 7 in (1.71 m)[1]Position(s) MidfielderTeam informationCurrent team Manchester CityNumber 47Youth career2009–2017 Manchester CitySenior career*Years Team Apps (Gls)2017– Manchester City 164 (54)International career‡2015–2016 England ...

 

 

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2017年10月) 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。(2017年10月)出典検索?: バンリュー – ニュース · 書籍 · スカラー · CiNii · J-...