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:

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:

Last Version: 0.3.7

Release Date:

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:

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