Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів.
Базується на теорії множин Цермело — Френкеля та численні висловів першого ступеня. Специфікації складних інформаційних систем на Z будуються шляхом ієрархічної композиції схем. Схеми, своєю чергою, складаються з послідовності описань типізованих змінних та значень, які приймають ці змінні.
Z-нотацію розробив [en] наприкінці 1970-х років. Подальші дослідження проводились групою дослідників проблем програмування комп'ютерної лабораторії Університету Оксфорда. У 2002 році Z було стандартизовано в ISO.
Стандарти
У 2002 році в ISO було завершено процес стандартизації Z. Стандарт має назву «Інформаційні технології — Z-нотація для формальних специфікацій — синтаксис, система типів та семантика» (англ. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics) ISO/IEC 13568:2002. Цей стандарт можна отримати безпосередньо від ISO: 13568_2002.zip [ 10 березня 2007 у Wayback Machine.], 1 MB PDF, 196 сторінок.
Див. також
Посилання
- Z User Group [ 24 вересня 2006 у Wayback Machine.] — Спільнота користувачів Z.
Примітки
- ISO/IEC 13568:2002. ISO (англ.). Процитовано 14 червня 2024.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Z notaciya angl Z notation rozm zed formalna mova dlya napisannya specifikacij dlya informacijnih sistem ta moduliv Bazuyetsya na teoriyi mnozhin Cermelo Frenkelya ta chislenni visloviv pershogo stupenya Specifikaciyi skladnih informacijnih sistem na Z buduyutsya shlyahom iyerarhichnoyi kompoziciyi shem Shemi svoyeyu chergoyu skladayutsya z poslidovnosti opisan tipizovanih zminnih ta znachen yaki prijmayut ci zminni Z notaciyu rozrobiv en naprikinci 1970 h rokiv Podalshi doslidzhennya provodilis grupoyu doslidnikiv problem programuvannya komp yuternoyi laboratoriyi Universitetu Oksforda U 2002 roci Z bulo standartizovano v ISO StandartiU 2002 roci v ISO bulo zaversheno proces standartizaciyi Z Standart maye nazvu Informacijni tehnologiyi Z notaciya dlya formalnih specifikacij sintaksis sistema tipiv ta semantika angl Information Technology Z Formal Specification Notation Syntax Type System and Semantics ISO IEC 13568 2002 Cej standart mozhna otrimati bezposeredno vid ISO 13568 2002 zip 10 bereznya 2007 u Wayback Machine 1 MB PDF 196 storinok Div takozhFormalna specifikaciya Specifikaciya Tehnichne zavdannyaPosilannya Z User Group 24 veresnya 2006 u Wayback Machine Spilnota koristuvachiv Z PrimitkiISO IEC 13568 2002 ISO angl Procitovano 14 chervnya 2024