Narzędzia społeczności Z

Inicjatywa Community Z Tools ( CZT ) opiera się na projekcie SourceForge mającym na celu zbudowanie zestawu narzędzi dla notacji Z , formalnej metody przydatnej w inżynierii oprogramowania . Narzędzia obejmują obsługę edycji, sprawdzania typu i animowania specyfikacji Z. Istnieje pewne wsparcie dla rozszerzeń, takich jak Object-Z i TCOZ. Narzędzia są zbudowane przy użyciu języka programowania Java .

CZT został zaproponowany przez Andrew Martina z Oxford University w 2001 roku.

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Community_Z_Tools&oldid=984810064 ”