Objekt-Z

Object-Z är en objektorienterad förlängning av Z-notationen utvecklad vid University of Queensland , Australien .

Objekt-Z utökar Z genom tillägg av språkkonstruktioner som liknar det objektorienterade paradigmet, framför allt klasser . Andra objektorienterade föreställningar som polymorfism och arv stöds också.

Även om det inte är lika populärt som dess basspråk Z, har Object-Z fortfarande fått stor uppmärksamhet i den formella metodgemenskapen , och forskning om aspekter av språket pågår, inklusive hybridspråk som använder Object-Z, verktygsstöd (t.ex. genom gemenskapen Z Tools- projekt) och förfiningskalkyler .

Se även

• Z++

externa länkar

• Hemsidan för Object-Z
• Community Z Tools (CZT)-projekt Arkiverad 1 juli 2004 på Wayback Machine