Enhancing Formal Modelling Tool Support with Increased Automation

Forfattere

  • Kenneth Lausdahl Department of Engineering, Aarhus University

Nøgleord:

VDM, Interpreter, Co-simulation

Resumé

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

Publiceret

2012-07-02

Citation/Eksport

Lausdahl, K. (2012). Enhancing Formal Modelling Tool Support with Increased Automation. Technical Report Electronics and Computer Engineering, 1(4). Hentet fra https://tidsskrift.dk/ece/article/view/21219