Main
Get CZT
Documentation
Project Documentation
Parent Project
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| net.sourceforge.czt | gnast | 1.0 | - | jar | |
| org.apache.maven | maven-plugin-api | 2.0 | - | jar | |
| org.apache.maven | maven-project | 2.0.4 | - | jar | |
| xerces | xercesImpl | 2.8.0 | - | jar |
The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| junit | junit | 3.8.1 | - | jar |
The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| classworlds | classworlds | 1.1-alpha-2 | - | jar | |
| net.sourceforge.czt | zml | 1.0 | - | jar | |
| org.apache.maven | maven-artifact | 2.0.4 | - | jar | |
| org.apache.maven | maven-artifact-manager | 2.0.4 | - | jar | |
| org.apache.maven | maven-model | 2.0.4 | - | jar | |
| org.apache.maven | maven-profile | 2.0.4 | - | jar | |
| org.apache.maven | maven-repository-metadata | 2.0.4 | - | jar | |
| org.apache.maven | maven-settings | 2.0.4 | - | jar | |
| org.apache.maven.wagon | wagon-provider-api | 1.0-alpha-6 | - | jar | |
| org.codehaus.plexus | plexus-container-default | 1.0-alpha-9 | - | jar | |
| org.codehaus.plexus | plexus-utils | 1.1 | - | jar | |
| velocity | velocity-dep | 1.4 | - | jar | |
| xml-apis | xml-apis | 1.3.03 | - | jar |
Set of libraries and tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and Circus.
http://czt.sourceforge.net/maven-gnast-plugin
Unnamed - junit:junit:jar:3.8.1
This library is used to not only read Maven project object model files, but to assemble inheritence and to retrieve remote models as required.
http://maven.apache.org/maven-project
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven-settings
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven-profile
Maven Model
http://maven.apache.org/maven-model
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven-artifact-manager
Maven Repository Metadata Model
Maven Plugin Mapping
http://maven.apache.org/maven-repository-metadata
Tools to manage artifacts and deployment
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven-artifact
http://classworlds.codehaus.org/
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven2/maven-plugin-api
Xerces2 is the next generation of high performance, fully compliant XML parsers in the Apache Xerces family. This new version of Xerces introduces the Xerces Native Interface (XNI), a complete framework for building parser components and configurations that is extremely modular and easy to program.
http://xerces.apache.org/xerces2-j
Unnamed - xml-apis:xml-apis:jar:1.3.03
The Apache Software Foundation provides support for the Apache community of open-source software projects. The Apache projects are characterized by a collaborative, consensus based development process, an open and pragmatic software license, and a desire to create high quality software that leads the way in its field. We consider ourselves not simply a group of projects sharing a server, but rather a community of developers and users.
http://xml.apache.org/commons/#external
Provides classes for generating AST classes from XML Schema files.
http://czt.sourceforge.net/gnast
Velocity is a Java-based template engine. It permits anyone to use the simple yet powerful template language to reference objects defined in Java code.
http://jakarta.apache.org/velocity/
Provides XML Schemas that define the XML markup for Z and example specifications in various mark-ups.