JarCasting
JarCasting JarCasting

Project Group: com.anaplan.engineering

VDM animation API

 com.anaplan.engineering : vdm-animation-api

A service API for animating VDM specifications

Last Version: 0.3.7

Release Date:

Overture VDM animator

 com.anaplan.engineering : vdm-animation-overture

A programmatic wrapper enabling in-process animation of VDM specifications

Last Version: 0.3.7

Release Date:

Azuki

 com.anaplan.engineering : azuki-core

The core library of the Azuki framework for behaviour driven specification

Last Version: 0.3.7

Release Date:

VDM stub generator gradle plugin

 com.anaplan.engineering : vdm-stub-generator

A Gradle plugin to generate stub classes from the structure of a VDM specification

Last Version: 0.3.7

Release Date:

Azuki scenario formatter

 com.anaplan.engineering : azuki-formatter

Formatter for Azuki scenarios

Last Version: 0.3.7

Release Date:

Azuki Runner

 com.anaplan.engineering : azuki-runner

Standalone tools to run Azuki scenarios

Last Version: 0.3.7

Release Date:

Azuki VDM tools

 com.anaplan.engineering : azuki-vdm

Tools for adapting to VDM when using the Azuki framework for behaviour driven specification

Last Version: 0.3.7

Release Date:

VDM stub generator gradle plugin

 com.anaplan.engineering : com.anaplan.engineering.vdm-stub-generator.gradle.plugin

A Gradle plugin to generate stub classes from the structure of a VDM specification

Last Version: 0.3.7

Release Date:

Azuki platform

 com.anaplan.engineering : azuki-platform

BOM for the Azuki framework

Last Version: 0.3.7

Release Date:
com.anaplan.engineering

VDM Gradle plugin

 com.anaplan.engineering : vdm-gradle-plugin

A Gradle plugin to parse, type-check, test and publish a VDM specification.

Last Version: 3.0.2+2

Release Date:

VDM Gradle plugin

 com.anaplan.engineering : com.anaplan.engineering.vdm.gradle.plugin

A Gradle plugin to parse, type-check, test and publish a VDM specification.

Last Version: 3.0.2+2

Release Date:
com.anaplan.engineering

VDM Pretty Printer

 com.anaplan.engineering : vdm-pretty-printer

Tools to produce a pretty-printed representation of a VDM AST.

Last Version: 3.0.2

Release Date:

  • 1