Z-нотація

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[1]. Цей стандарт можна отримати безпосередньо від ISO: 13568_2002.zip [Архівовано 10 березня 2007 у Wayback Machine.], 1 MB PDF, 196 сторінок.

Див. також

Посилання

Примітки

  1. ↑ ISO/IEC 13568:2002. ISO (англ.). Процитовано 14 червня 2024. 

Read other articles:

Wallace & Gromit: The Curse of the Were-Rabbit

2005 animated film by Nick Park and Steve Box For the video game, see Wallace & Gromit: The Curse of the Were-Rabbit (video game). Wallace & Gromit:The Curse of the Were-RabbitBritish theatrical release posterDirected by Nick Park Steve Box Screenplay by Steve Box Nick Park Mark Burton Bob Baker Based onWallace and Gromitby Nick ParkProduced by Claire Jennings Carla Shelley Peter Lord David Sproxton Nick Park StarringPeter SallisRalph FiennesHelena Bonham CarterCinematographyDavid Ale...

 

Thau (rivière)

ThauTau La Thau au pont du Gué à Saint-Florent-le-Vieil. Caractéristiques Longueur 12,7 km [1] Bassin 72 km2 Bassin collecteur Loire Régime Pluvial océanique Cours Source Mauges · Localisation Montjean-sur-Loire, Maine-et-Loire, France · Altitude 13 m · Coordonnées 47° 23′ 23″ N, 0° 51′ 47″ O Confluence Loire · Localisation Saint-Florent-le-Vieil, Maine-et-Loire, France · Altitude 8 m · Coordonnées 47° 21′ ...

 

Daur turun

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Downcycling di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan...

Emerson Electric

American multinational corporation Not to be confused with Emerson Radio. Emerson Electric Co.Company typePublicTraded asNYSE: EMRS&P 100 componentS&P 500 componentIndustryElectrical equipmentPredecessorEmerson Electric Manufacturing Co.FoundedSeptember 24, 1890; 133 years ago (1890-09-24)FounderJohn W. EmersonHeadquartersFerguson, Missouri, U.S.Key peopleJim Turley (Chairman)Lal Karsanbhai (CEO)Frank Dellaquila (CFO)ProductsProcess control systemsClimate techno...

 

Gardens Commercial High School

Public school in Cape Town, Western Cape, South AfricaGardens Commercial High SchoolGardens Commercial High School crestAddressPaddock Avenue, GardensCape Town, Western CapeSouth AfricaCoordinates33°55′49″S 18°24′56″E / 33.93028°S 18.41556°E / -33.93028; 18.41556InformationTypePublic schoolMottoFloreat - FlourishEstablished1961; 63 years ago (1961)School districtDistrict 9School number021 465 1236PrincipalMr Dylan TommyGrades8–12GenderBo...

 

Наречия русского языка

Северное и южное наречия, разделённые среднерусскими говорами на территории распространения русских диалектов первичного формирования (карта 1965 года)[1][2] Наре́чия ру́сского языка́ — основные диалектные величины, размещённые на территории распространения �...

Veve

Religious symbol commonly used in different branches of Vodun For other uses, see Veve (disambiguation). Part of a series onVodun related religions calledVoodoo Beliefs West African Vodun Arará religionCandomblé (Jejé) Cuban VodúDominican Vudú Haitian VodouHoodoo Louisiana Voodoo Tambor de Mina Venezuelan Yuyu Trinidadian Vodunu Deities Creators DamballaMawuNana Buluku Loas Adjassou-LinguetorAdya Houn'tò AgassouAgwé Anaisa PyeAyida-Weddo AyizanAzaka-Tonnerre BacalouBadessy Baron Crimin...

 

Higgs boson

Elementary particle involved with rest mass God Particle redirects here. For other uses, see The God Particle (disambiguation). Higgs bosonCandidate Higgs boson events from collisions between protons in the LHC. The top event in the CMS experiment shows a decay into two photons (dashed yellow lines and green towers). The lower event in the ATLAS experiment shows a decay into four muons (red tracks).[a]CompositionElementary particleStatisticsBosonicSymbolH0TheorisedR. Brout, F. Englert...

 

Ross Island (Oregon)

Island in Portland, Oregon, United States Ross IslandSatellite image of Ross Island, with each of the four islands labeled.GeographyLocationWillamette River RM 14.1–15.7 in Portland, OregonCoordinates45°29′24″N 122°40′01″W / 45.490°N 122.667°W / 45.490; -122.667Total islands4Major islands2Area0.625 sq mi (1.62 km2)Length1.40 mi (2.25 km)Width0.37 mi (0.6 km)Highest elevation20 ft (6 m)AdministrationUnited ...

أوغستا أميرة ساكس-غوتا-ألتينبورغ

أوغستا أميرة ساكس-غوتا-ألتينبورغ معلومات شخصية الميلاد 30 نوفمبر 1719(1719-11-30)غوتا الوفاة 8 فبراير 1772 (52 سنة)لندن سبب الوفاة سرطان المريء  مكان الدفن دير وستمنستر  مواطنة ألمانيا  الزوج فريدريك أمير ويلز (27 أبريل 1736–31 مارس 1751)  الأولاد جورج الثالث ملك المملكة المتحدةأ�...

 

Joy Hruby

Australian actress and television presenter Joy HrubyBornJoy Elaine Cox(1927-07-01)1 July 1927Taree, New South Wales, AustraliaDied21 February 2017(2017-02-21) (aged 89)Sydney, AustraliaEducationWhitehall Academy of Dramatic Art, J.C. WilliamsonOccupationsActresscomedianTV presenterproducerfilm-makerauthoragentNotable workJoy's WorldDubbo Dazzlers (book)FamilyAnna Hruby (daughter) Joy Elaine Hruby OAM (1 July 1927 – 21 February 2017) was an Australian actress and entertainer, comedian,...

 

Älmhult Municipality

Municipality in Kronoberg County, SwedenÄlmhult Municipality Älmhults kommunMunicipalityAlmhult railroad station Coat of armsCoordinates: 56°33′N 14°08′E / 56.550°N 14.133°E / 56.550; 14.133CountrySwedenCountyKronoberg CountySeatÄlmhultArea[1] • Total978.3667 km2 (377.7495 sq mi) • Land890.9267 km2 (343.9887 sq mi) • Water87.44 km2 (33.76 sq mi) Area as of 1 January...

Mystic, Connecticut

Census-designated place in Connecticut, United StatesMystic, ConnecticutCensus-designated placeVillage of MysticMain Street, downtown Mystic Logo New London County and Connecticut Southeastern Connecticut Planning Region and ConnecticutShow MysticShow ConnecticutShow the United StatesCoordinates: 41°21′15″N 71°57′59″W / 41.35417°N 71.96639°W / 41.35417; -71.96639Country United StatesU.S. state ConnecticutCountyNew LondonRegionSoutheaste...

 

1964年東京オリンピックの柔道競技

1964年東京オリンピック柔道無差別級の表彰式 1964年東京オリンピックの柔道競技（1964ねんとうきょうオリンピックのじゅうどうきょうぎ）は、1964年10月20日から10月23日までの競技日程で実施された1964年東京オリンピックの柔道。主管は国際柔道連盟 (IJF) 。 1962年の切手 概要 競技は東京都千代田区にある日本武道館で実施された。東京オリンピックで初めて正式競技に�...

 

Interpeace

InterpeaceFormation1994TypeINGOPurposePeacebuildingHeadquartersGeneva, SwitzerlandLocationGeneva, SwitzerlandWebsiteinterpeace.org Interpeace is an international organization for peacebuilding which advances sustainable peace in two mutually reinforcing ways: (1) strengthening the capacities of societies to manage conflict themselves in non-violent and non-coercive ways; and (2) assisting the international community, particularly the United Nations, to be more effective in supporting peacebu...

Cape Porpoise, Maine

Coastal village in Maine, United States Goat Island Light Cape Porpoise is a small coastal village in the town of Kennebunkport, Maine, United States, and was the original English settlement of the town. It is located northeast of Dock Square and southwest of Goose Rocks Beach. The village occupies the mainland adjacent to Cape Porpoise Harbor. More than a dozen islands protect the deep natural harbor. The ZIP Code for Cape Porpoise is 04014.[1] Goat Island Light marks the harbor entr...

 

علم البنكامات

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. علم البنكامات علم تتبين منه كيفية إيجاد الآلات المقدرة للزمان، ومنفعته معرفة أوقات العبادات واستخراج الطوالع من الكواكب وأجزاء فلك البروج.[1] برج الساعة في مورتن انظر أي�...

 

Fantastic Beasts: The Crimes of Grindelwald (soundtrack)

2018 film score by James Newton Howard Fantastic Beasts: The Crimes of GrindelwaldFilm score by James Newton HowardReleased 9 November 2018 (Digital) 30 November 2018 (CD) 25 January 2019 (Vinyl) Recorded2018StudioAbbey Road Studios(Westminster, London)GenreSoundtrackLength77:17LabelWaterTower MusicJames Newton Howard chronology The Nutcracker and the Four Realms(2018) Fantastic Beasts: The Crimes of Grindelwald(2018) A Hidden Life(2019) Wizarding World soundtrack chronology Fantastic Bea...

René Manzor

Pour les articles homonymes, voir Lalanne. René ManzorRené ManzorBiographieNaissance 4 août 1959 (65 ans)Mont-de-MarsanNom de naissance René LalannePseudonyme René ManzorNationalité FrançaiseActivités Scénariste, écrivain, réalisateur, scénariste de cinémaFratrie Francis LalanneJean-Félix LalanneAutres informationsSite web renemanzor.comFilms notables Le Passage3615 code Père NoëlUn amour de sorcièreDédalesmodifier - modifier le code - modifier Wikidata René Lalanne, ...

 

William Henry Pferinger Elkins

Canadian soldier Major GeneralWilliam Henry Pferinger ElkinsCB CBE DSOPersonal detailsBorn(1883-06-13)13 June 1883Sherbrooke, QuebecDied1964 (aged 80-81)NationalityCanadianAlma materRoyal Military College of CanadaProfessionSoldierMilitary serviceAllegianceCanadaBranch/serviceRCHARankMajor general Major General William Henry Pferinger Elkins, CB, CBE, DSO (13 June 1883–1964) was a Canadian soldier. He was a commandant of the RMC. Education 624 Major General William Henry Pfe...