1 citations · 1 across the 5 of their papers we have counts for
5 papers
Proceedings of the 21st International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 21st International Overture Workshop, held on the 10th of March 2023. This event was the latest in a series of workshops around the…
Multiplying matrices using n arithmetic operations
Hugo Daniel Macedo
It is widely known that the lower bound for the algorithmic complexity of square matrix multiplication resorts to at least arithmetic operations. The justification builds upo…
Bidirectional UML Visualisation of VDM Models
Jonas Lund, Lucas Bjarke Jensen, Nick Battle +2
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already e…
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1
Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…