Enhancing Formal Modelling Tool Support with Increased Automation

Authors

  • Kenneth Lausdahl Department of Engineering, Aarhus University

DOI:

https://doi.org/10.7146/ece.v1i4.21219

Keywords:

VDM, Interpreter, Co-simulation

Abstract

Progress report for the qualification exam report for PhD Student Kenneth Lausdahl. Initial work on enhancing tool support for the formal method VDM and the concept of unifying a abstract syntax tree with the ability for isolated extensions is described. The tool support includes a connection to UML and a test automation principle based on traces written as a kind of regular expressions.

Downloads

Published

2012-07-02

How to Cite

Lausdahl, K. (2012). Enhancing Formal Modelling Tool Support with Increased Automation. Technical Report Electronics and Computer Engineering, 1(4). https://doi.org/10.7146/ece.v1i4.21219

Issue

Vol. 1 No. 4 (2012): Enhancing Formal Modelling Tool Support with Increased Automation

Section

Reports

License

Reproduction permitted provided the source is explicitly acknowledged.

The authors have all rights to the reports.