JarCastingГруппа библиотек: com.anaplan.engineering
VDM animation API
com.anaplan.engineering : vdm-animation-apiA service API for animating VDM specifications
Последняя версия: 0.3.7
Дата:Overture VDM animator
com.anaplan.engineering : vdm-animation-overtureA programmatic wrapper enabling in-process animation of VDM specifications
Последняя версия: 0.3.7
Дата:Azuki
com.anaplan.engineering : azuki-coreThe core library of the Azuki framework for behaviour driven specification
Последняя версия: 0.3.7
Дата:VDM stub generator gradle plugin
com.anaplan.engineering : vdm-stub-generatorA Gradle plugin to generate stub classes from the structure of a VDM specification
Последняя версия: 0.3.7
Дата:Последняя версия: 0.3.7
Дата:Последняя версия: 0.3.7
Дата:Azuki VDM tools
com.anaplan.engineering : azuki-vdmTools for adapting to VDM when using the Azuki framework for behaviour driven specification
Последняя версия: 0.3.7
Дата:VDM stub generator gradle plugin
com.anaplan.engineering : com.anaplan.engineering.vdm-stub-generator.gradle.pluginA Gradle plugin to generate stub classes from the structure of a VDM specification
Последняя версия: 0.3.7
Дата:Последняя версия: 0.3.7
Дата:
VDM Gradle plugin
com.anaplan.engineering : vdm-gradle-pluginA Gradle plugin to parse, type-check, test and publish a VDM specification.
Последняя версия: 3.0.2+2
Дата:VDM Gradle plugin
com.anaplan.engineering : com.anaplan.engineering.vdm.gradle.pluginA Gradle plugin to parse, type-check, test and publish a VDM specification.
Последняя версия: 3.0.2+2
Дата:
VDM Pretty Printer
com.anaplan.engineering : vdm-pretty-printerTools to produce a pretty-printed representation of a VDM AST.
Последняя версия: 3.0.2
Дата:- 1