Obiekt-Z

Object-Z jest zorientowanym obiektowo rozszerzeniem notacji Z opracowanej na Uniwersytecie Queensland w Australii .

Object-Z rozszerza Z poprzez dodanie konstrukcji językowych przypominających paradygmat zorientowany obiektowo , w szczególności klas . Obsługiwane są również inne pojęcia zorientowane obiektowo, takie jak polimorfizm i dziedziczenie .

Chociaż nie jest tak popularny jak jego podstawowy język Z, Object-Z nadal cieszy się dużym zainteresowaniem społeczności metod formalnych i trwają badania nad aspektami tego języka, w tym językami hybrydowymi wykorzystującymi Object-Z, obsługą narzędzi (np . projekt Z Tools ) i rachunki udoskonalające .

Zobacz też

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Object-Z&oldid=1122711129 ”