Peter Würtz Vinther Tran-Jørgensen

Learn More
We present a set of principles that promote reuse in the development of tool support for formal modelling languages, in the context of language extensions. The principles are supported and realised by the <i>AstCreator</i> tool and its basic usage is demonstrated. Use of <i>AstCreator</i> can help reduce the efforts needed to extend a language. This is(More)
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite(More)
  • 1