Group: Anaplan Engineering

Sort by:Popular▼

✓Popular✓Newest

Anaplan Engineering Azuki Result Reporter

Anaplan Engineering VDM

Anaplan Engineering VDM Stub Generator

Implementable batch constructor for verifying scenario batch with Azuki

Tools to assist with formatting Azuki scenario scripts

The core library of the Kazuki specification framework

Tools to assist Azuki adapter implementors with managing declarations

A Gradle plugin to generate HTML report of Azuki scenario results

Tools to assist with formatting Azuki scenario scripts

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

Library to construct a batch of guided scenarios to verify with Azuki

Library of utilities for generating verifiable scenarios from oracle scenarios

Listeners that track Azuki events and perform common tasks

Library to orchestrate verification by Azuki of a batch of scenarios

Tools to assist with formatting Azuki scenario scripts (KtLint version)

The KSP to support Kazuki

Toolkit of generic functions for use with the Kazuki specification framework

A programmatic wrapper enabling in-process animation of VDM specifications with VDMJ

The core library of the Azuki framework for behaviour driven specification

A service API for animating VDM specifications