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 |
|---|---|---|---|---|---|
| ant | ant | 1.6.5 | - | jar | |
| jflex | jflex | 1.4.1 | - | jar | |
| org.apache.maven | maven-plugin-api | 2.0 | - | jar | |
| org.apache.maven | maven-project | 2.0.4 | - | 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 | |
| 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 |
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-jflex-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