Enhancing Formal Modelling Tool Support with Increased Automation

Authors

  • Kenneth Lausdahl Department of Engineering, Aarhus University

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). Retrieved from https://tidsskrift.dk/ece/article/view/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.