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: May 20, 2022

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: May 20, 2022

Azuki

com.anaplan.engineering : azuki-core

The core library of the Azuki framework for behaviour driven specification

Last Version: 0.3.7

Release Date: May 20, 2022

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: May 20, 2022

Azuki scenario formatter

com.anaplan.engineering : azuki-formatter

Formatter for Azuki scenarios

Last Version: 0.3.7

Release Date: May 20, 2022

Azuki Runner

com.anaplan.engineering : azuki-runner

Standalone tools to run Azuki scenarios

Last Version: 0.3.7

Release Date: May 20, 2022

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: May 20, 2022

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: May 20, 2022

Azuki platform

com.anaplan.engineering : azuki-platform

BOM for the Azuki framework

Last Version: 0.3.7

Release Date: May 20, 2022

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: Apr 8, 2022

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: Apr 8, 2022

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: Mar 14, 2022