Object-Z

Object-Z[1] is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.

Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported.

While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z,[2][3] tool support (e.g., through the Community Z Tools project) and refinement calculi.[4]

See also

References

  1. ^ Smith, Graeme (2000). The Object-Z Specification Language. Springer. ISBN 978-1-4615-5265-9.
  2. ^ Mahony, B.; Dong, Jin Song (February 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering. 26 (2): 150–177. CiteSeerX 10.1.1.62.820. doi:10.1109/32.841115.
  3. ^ Dong, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05). pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5. S2CID 10062286. {{cite book}}: |journal= ignored (help)
  4. ^ Derrick, John; Boiten, Eerke A. (2014). Refinement in Z and Object-Z (2nd ed.). Springer. ISBN 978-1-4471-5355-9.
Listen to this article (1 minute)
Spoken Wikipedia icon
This audio file was created from a revision of this article dated 19 November 2022 (2022-11-19), and does not reflect subsequent edits.
(Audio help · More spoken articles)


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Couvent des Cordeliers de Nantes

Pour les articles homonymes, voir Couvent des Cordeliers. Couvent des CordeliersVue de l'intérieurPrésentationType couventDestination initiale CouventDestination actuelle École ; habitationsConstruction XIIIe siècleÉtat de conservation démoli ou détruit (d)LocalisationPays FranceCommune NantesCoordonnées 47° 13′ 09″ N, 1° 33′ 10″ OLocalisation sur la carte de FranceLocalisation sur la carte de Nantesmodifier - modifier le code - modif...

 

Mikiel Gonzi

This article is about the archbishop. For the politician, see Michael Gonzi.This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Mikiel Gonzi – news · newspapers · books · scholar · JSTOR (July 2023) (Learn how and when to remove this template message)The Most ReverendSir Michael GonziKBEArchbishop of MaltaPortra...

 

Crema (dolce al cucchiaio)

CremaOriginiLuogo d'origine Europa DettagliCategoriadolce Ingredienti principalilatte o pannatuorli d'uovo In gastronomia, la crema è un dolce al cucchiaio di consistenza fluida, a base di latte, zucchero, farina e tuorli d'uovo, sbattuti insieme e rappresi al fuoco.[1][2] Le creme possono essere usate come dessert a sé stanti, oppure come componenti nella preparazione di altri dessert. Esempi di creme sono[3]: crema pasticcera crema inglese crema chantilly crem...

Taufik Basari

Taufik Basari Anggota Dewan Perwakilan Rakyat Republik IndonesiaPetahanaMulai menjabat 1 Oktober 2019Daerah pemilihanLampung I Informasi pribadiLahir17 November 1976 (umur 47)Jakarta, IndonesiaPartai politikNasDemSuami/istriFessy AlwiAlma materUniversitas IndonesiaUniversitas NorthwesternPekerjaanPengacara, PolitisiSitus webwww.taufikbasari.comSunting kotak info • L • B Taufik Basari, S.H., S.Hum., LL.M. (lahir 17 November 1976) adalah politikus, advokat, aktivis hak as...

 

Role-playing video game

Video game genre CRPG redirects here. For the sub-component of the Canadian Forces reserve, see Canadian Rangers. For Chinese role-playing games, see History of Eastern role-playing video games § China. A party of characters approaching a monster in Legend of Grimrock (2012) Part of a series onRole-playing video games Subgenres Action RPG Soulslike Dungeon crawl Monster-taming MUD MMORPG Roguelike Tactical RPG Topics Social interaction in MMORPGs Character creation Dialogue tree GNS the...

 

Vasco da Gama

Este artículo o sección tiene referencias, pero necesita más para complementar su verificabilidad. Busca fuentes: «Vasco da Gama» – noticias · libros · académico · imágenesEste aviso fue puesto el 1 de octubre de 2016. Para otros usos de este término, véase Vasco da Gama (desambiguación). Vasco da Gama Vasco da Gama, retrato de Gregorio LopesInformación personalNacimiento Hacia 1460/1469Sines, Reino de PortugalFallecimiento 24 de diciembre de 1524Cochín, I...

HMS Beaulieu

Royal Navy fifth-rate frigate 1790 diagram of Beaulieu History Great Britain NameBeaulieu NamesakeEdward Hussey-Montagu, 1st Earl Beaulieu Laid down1790 Launched4 May 1791 Completed31 May 1791 AcquiredPurchased 16 June 1790 CommissionedJanuary 1793 Out of serviceMarch/April 1806 Nickname(s)Bowly FateBroken up 1809 General characteristics [1] Class and typeFifth-rate frigate Tons burthen1,01979⁄94 (bm) Length 143 ft 3 in (43.7 m) (gundeck) 122 ft 10+5⁄8&...

 

Trenitalia

Trenitalia SpAJenisAnak perusahaan milik negara sebagianIndustriTransportasi relDidirikan1905 (sebagai Ferrovie dello Stato Italiane)2000 (sebagai Trenitalia)KantorpusatRoma, ItaliaTokohkunciMichele Pompeo Meta (Ketua)Luigi Corradi (CEO)ProdukTransportasiPendapatan €5,3 miliar (2017)Laba bersih €276,2 juta (2017)PemilikFerrovie dello Stato Italiane (100%)Karyawan27.607 (2017)Situs webwww.trenitalia.com Trenitalia merupakan perusahaan kereta api Italia. Trenitalia adalah anak perusahaan da...

 

Inside Mecca

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Inside Mecca – news · newspapers · books · scholar · JSTOR (May 2019) (Learn how and when to remove this me...

Raj Babbar

Indian actor and politician (born 1952) Raj BabbarRaj Babbar in 2012Member of Parliament, Rajya SabhaIn office14 March 2015 – 25 November 2020Succeeded byNaresh BansalConstituencyUttarakhandPresident of Uttar Pradesh Congress CommitteeIn office12 July 2016 – 7 October 2019Preceded byNirmal KhatriSucceeded byAjay Kumar LalluMember of Parliament, Lok SabhaIn officeBy-elections Nov 2009 – 2014Preceded byRam Ji Lal SumanSucceeded byAkshay YadavConstituencyFirozaba...

 

جائزة كندا الكبرى 1992

جائزة كندا الكبرى 1992 (بالفرنسية: Grand Prix Molson du Canada)‏  السباق 7 من أصل 16 في بطولة العالم لسباقات الفورمولا واحد موسم 1992 السلسلة بطولة العالم لسباقات فورمولا 1 موسم 1992  البلد كندا  التاريخ 14 يونيو 1992 مكان التنظيم حلبة جيل فيلنوف، مونتريال، كيبك، كندا طول المسار 4.430 كيل�...

 

United States District Court for the Northern District of Florida

United States federal district court in Florida United States District Court for the Northern District of Florida(N.D. Fla.)LocationTallahasseeMore locationsGainesvillePanama CityWinston E. Arnow Federal Building(Pensacola)MariannaAppeals toEleventh CircuitEstablishedFebruary 23, 1847Judges4Chief JudgeMark E. WalkerOfficers of the courtU.S. AttorneyJason R. CoodyU.S. MarshalR. Don Ladner Jr.www.flnd.uscourts.gov The United States District Court for the Northern District of...

WarnerTV Serie

German pay television channel Not to be confused with TNT Series. Television channel WarnerTV SerieCountryGermanyBroadcast areaEuropeHeadquartersMunich, GermanyProgrammingLanguage(s)German EnglishPicture format1080i HDTV(downscaled to 16:9 576i for the SDTV feed)OwnershipOwnerWarner Bros. Discovery EMEASister channelsWarnerTV FilmWarnerTV ComedyCartoon NetworkCartoonito CNN InternationalHistoryLaunched28 January 2009; 15 years ago (2009-01-28) (as TNT Serie)25 September...

 

Madonna of the Desert

1948 film by George Blair Madonna of the DesertTheatrical release posterDirected byGeorge BlairScreenplay byAlbert DeMondStory byFrank WisbarProduced byStephen AuerStarringLynne RobertsDon Red BarryDon CastleSheldon LeonardPaul HurstRoy BarcroftCinematographyJohn MacBurnieEdited byHarry KellerMusic byMort GlickmanProductioncompanyRepublic PicturesDistributed byRepublic PicturesRelease date February 23, 1948 (1948-02-23) Running time60 minutesCountryUnited StatesLanguageEnglish ...

 

Педагогический институт ТОГУ

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (4 декабря 2023) Педагогический институт Тихоокеа�...

Paul Gauguin

French artist (1848–1903) For the cruise ship, see Paul Gauguin (ship). For other uses, see Gauguin (disambiguation). Paul GauguinGauguin in 1891BornEugène Henri Paul Gauguin(1848-06-07)7 June 1848Paris, French Second RepublicDied8 May 1903(1903-05-08) (aged 54)Atuona, Marquesas Islands, French PolynesiaKnown forPaintingsculptureceramicsengravingMovementPost-ImpressionismPrimitivismSynthetismSpouses Mette-Sophie Gad ​ ​(m. 1873; sep. 1894)...

 

Sabotage (Master Joe y O.G. Black album)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may need to be rewritten to comply with Wikipedia's quality standards. You can help. The talk page may contain suggestions. (October 2024) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: ...

 

Hamelincourt

Hamelincourt Le monument aux morts devant l'église. Blason Administration Pays France Région Hauts-de-France Département Pas-de-Calais Arrondissement Arras Intercommunalité CC du Sud-Artois Maire Mandat Denis Bizart 2020-2026 Code postal 62121 Code commune 62406 Démographie Gentilé Hamelincourtois Populationmunicipale 265 hab. (2021 ) Densité 40 hab./km2 Géographie Coordonnées 50° 11′ 05″ nord, 2° 48′ 00″ est Altitude Min. 78 mM...

Папский богословский Терезианский факультет

У этого термина существуют и другие значения, см. Терезианум (значения). Папский богословский Терезианский факультет(Терезианум) Год основания 16.07.1935 Тип Папский институт Расположение Рим, Италия Сайт teresianum.net  Медиафайлы на Викискладе Папский богословский Терезианск�...

 

Slavoj Žižek

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (mai 2012). 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...