Planned Publications
Planned
In preparation
- Updates to the VDM VSCode extension
- VDM++ UML connection in VSC
- Paper about MaestroV2
In review
- Bridging the Requirements-Specification Gap using Behaviour-Driven Development
In press
- Modelling an Injection Molding Machine using theVienna Development Method
- A formal security analysis of HUBCAP sandbox model