CZT: Community Z Tools

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

test

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:

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

test

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:

Dependency Tree

• net.sourceforge.czt:zlive:jar:1.6-SNAPSHOT

  zlive
  Description: There is currently no description associated with this project. Project License: No license is defined for this project.

  • net.sourceforge.czt:parser-z:jar:1.6-SNAPSHOT (compile)

    CZT Parser Z
    Description: Provides classes for parsing and printing Z specifications. URL: http://czt.sourceforge.net/parser/parser-z Project License: GPL

    • net.sourceforge.czt:corejava-z:jar:1.6-SNAPSHOT (compile)

      CZT Corejava Z
      Description: Provides AST classes for Z. URL: http://czt.sourceforge.net/corejava/corejava-z Project License: GPL

      • net.sourceforge.czt:util:jar:1.6-SNAPSHOT (compile)

        CZT Util
        Description: Provides utility classes for CZT. URL: http://czt.sourceforge.net/util Project License: GPL

        • commons-cli:commons-cli:jar:1.2 (compile)

          Commons CLI
          Description: Commons CLI provides a simple API for presenting, processing and validating a command line interface. URL: http://commons.apache.org/cli/ Project License: The Apache Software License, Version 2.0

    • net.sourceforge.czt:session:jar:1.6-SNAPSHOT (compile)

      CZT Session
      Description: Provides classes for managing and caching Z sections and other Z-related artifacts. URL: http://czt.sourceforge.net/session/ Project License: GPL

    • net.sourceforge.czt.dev:java-cup-runtime:jar:0.11-a-czt01-SNAPSHOT (compile)

      Java CUP Runtime
      Description: Java CUP (parser generator) runtime for CUP-generated parsers. URL: http://czt.sourceforge.net/dev/java-cup-runtime Project License: CUP License (MIT License)

  • net.sourceforge.czt:rules:jar:1.6-SNAPSHOT (compile)

    CZT Rules
    Description: Provides classes for transforming and proving Z specifications. URL: http://czt.sourceforge.net/rules Project License: GPL

    • net.sourceforge.czt:parser-zpatt:jar:1.6-SNAPSHOT (compile)

      CZT Parser Z Pattern
      Description: Provides classes for parsing and printing Z Pattern specifications. URL: http://czt.sourceforge.net/parser/parser-zpatt Project License: GPL

      • net.sourceforge.czt:corejava-zpatt:jar:1.6-SNAPSHOT (compile)

        CZT Corejava Z Pattern
        Description: Provides AST classes for Z Pattern extension. URL: http://czt.sourceforge.net/corejava/corejava-zpatt Project License: GPL

    • net.sourceforge.czt:typechecker-z:jar:1.6-SNAPSHOT (compile)

      CZT Typechecker Z
      Description: Provides classes for typechecking a Z specification. URL: http://czt.sourceforge.net/typechecker/typechecker-z Project License: GPL

  • nz.ac.waikato.modeljunit:modeljunit:jar:2.5 (test)

    ModelJUnit
    Description: Java library and GUI for supporting Model-Based Testing. The models are extended finite state machines (EFSM) that are written in Java. URL: http://modeljunit.sourceforge.net Project License: GPL Version 3.0

    • asm:asm:jar:3.1 (test)

      ASM Core
      Description: A very small and fast Java bytecode manipulation framework URL: http://asm.objectweb.org/asm/ Project License: No license is defined for this project.

    • net.sf.jung:jung-algorithms:jar:2.0.1 (test)

      jung-algorithms
      Description: Algorithms for the jung2 project URL: http://jung.sourceforge.net/site/jung-algorithms Project License: The BSD License

      • net.sourceforge.collections:collections-generic:jar:4.01 (test)

        larvalabs collections
        Description: There is currently no description associated with this project. URL: http://collections.sourceforge.net Project License: Apache License V2.0

      • colt:colt:jar:1.2.0 (test)

        colt
        Description: There is currently no description associated with this project. Project License: No license is defined for this project.

        • concurrent:concurrent:jar:1.3.4 (test)

          Dough Lea's util.concurrent package
          Description: There is currently no description associated with this project. Project License: Public domain, Sun Microsoystems

    • net.sf.jung:jung-api:jar:2.0.1 (test)

      jung-api
      Description: Graph interfaces used by the jung2 project URL: http://jung.sourceforge.net/site/jung-api Project License: The BSD License

    • net.sf.jung:jung-graph-impl:jar:2.0.1 (test)

      jung-graph-impl
      Description: Graph implementations for the jung2 project URL: http://jung.sourceforge.net/site/jung-graph-impl Project License: The BSD License

    • net.sf.jung:jung-io:jar:2.0.1 (test)

      jung-io
      Description: IO support classes for jung2 URL: http://jung.sourceforge.net/site/jung-io Project License: The BSD License

      • org.codehaus.woodstox:wstx-asl:jar:3.2.6 (test)

        Woodstox
        Description: Woodstox is a high-performance XML processor that implements Stax (JSR-173) API URL: http://woodstox.codehaus.org Project License: The Apache Software License, Version 2.0

        • stax:stax-api:jar:1.0.1 (test)

          StAX API
          Description: StAX API is the standard java XML processing API defined by JSR-173 URL: http://stax.codehaus.org/ Project License: The Apache Software License, Version 2.0

    • net.sf.jung:jung-jai:jar:2.0.1 (test)

      jung-jai
      Description: Jung2 rendering project that uses Java Advanced Imaging (JAI) for non-affine transforms URL: http://jung.sourceforge.net/site/jung-jai Project License: The BSD License

    • net.sf.jung:jung-visualization:jar:2.0.1 (test)

      jung-visualization
      Description: Core visualization support for the jung2 project URL: http://jung.sourceforge.net/site/jung-visualization Project License: The BSD License

    • org.uispec4j:uispec4j:jar:jdk16:2.4 (test)

      uispec4j
      Description: Java/Swing GUI testing made simple! URL: http://www.uispec4j.org Project License: Common Public License

  • junit:junit:jar:4.5 (test)

    JUnit
    Description: JUnit is a regression testing framework written by Erich Gamma and Kent Beck. It is used by the developer who implements unit tests in Java. URL: http://junit.org Project License: Common Public License Version 1.0