Komunitní Z nástroje - Community Z Tools
The Komunitní Z nástroje (CZT) iniciativa je založena na a SourceForge projekt na vybudování sady nástrojů pro Z notace, a formální metoda užitečné v softwarové inženýrství. Mezi nástroje patří podpora pro úpravy, typyecking a animaci specifikací Z. Existuje podpora pro rozšíření, jako je Objekt-Z a TCOZ. Nástroje jsou vytvářeny pomocí Programovací jazyk Java.
CZT navrhl Andrew Martin z Oxfordská univerzita v roce 2001.[1]
Reference
- ^ Martin, Andrew (25. září 2001). „Návrh: Projekt Community Z Tools (CZT)“. SPOJENÉ KRÁLOVSTVÍ: University of Oxford.
externí odkazy
- Webové stránky CZT SourceForge
- Iniciativa CZT informace od Andrew Martin
- Informace o softpedii
- CZT: Rámec pro Z Tools autor: Petra Malik a Mark Utting (PDF )
 | Tento programovací nástroj související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |