Die Initiative Community Z Tools ( CZT ) basiert auf einem SourceForge-Projekt zur Erstellung einer Reihe von Werkzeugen für die Z-Notation, eine formale Methode, die für das Software-Engineering nützlich ist. Zu den Tools gehören Unterstützung für das Bearbeiten, Typchecking und Animieren von Z-Spezifikationen. Erweiterungen wie Object-Z und TCOZ werden unterstützt. Die Tools werden mit der Programmiersprache Java erstellt.
CZT wurde 2001 von Andrew Martin von der Universität Oxford vorgeschlagen. [1]
Referenzen [ edit
- Martin, Andrew (25. September 2001). "Vorschlag: Community Z Tools Project (CZT)". UK: University of Oxford.
Externe Links [ edit
Không có nhận xét nào:
Đăng nhận xét