Group: com.anaplan.engineering - All Dependencies

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

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

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

Overture VDM animator · A programmatic wrapper enabling in-process animation of VDM specifications

VDM animation API · A service API for animating VDM specifications

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

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

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

Azuki platform · BOM for the Azuki framework

Azuki scenario formatter · Formatter for Azuki scenarios

Azuki · The core library of the Azuki framework for behaviour driven specification

Azuki Runner · Standalone tools to run Azuki scenarios

Azuki Scenario Batch Api · Implementable batch constructor for verifying scenario batch with Azuki

Azuki Scenario Guided Batch · Library to construct a batch of guided scenarios to verify with Azuki

Azuki Scenario Orchestrator · Library to orchestrate verification by Azuki of a batch of scenarios

Azuki Script Generation · Tools to assist with the recreation of scripts from in-memory Azuki scenarios

Azuki Declaration · Tools to assist Azuki adapter implementors with managing declarations

Azuki Script Formatter · Tools to assist with formatting Azuki scenario scripts