资 源 简 介
This project consists of a java5-library that helps to implement specifications in Z-Notation quickly and in a straight-forward process in Java 5.
Features:
* Type-safety thanks to the generics of Java5
* Optional usage of Java-assert statements. Using asserts, checking of conditions can be dynamically switched on/off all the time.
* Basic Z-Types like sets and relationships are fully supported.
* A very compact syntax that looks really similar to Z-Statements
Tools:
* A generic shell-application that observes a Java-Z-Implementation and allows you to browse all variables interactively and to execute operations with custom parameters. No variables or operations have to be registered somewhere, all the work is done via java-reflection in the background. Thanks to this shell-application, a Java-Z-Implemtation can be tested completely and interactively without having to implement a custom GUI.
