Formal meta-modelling for tool development

Start date

01 January 2009

End date

29 June 2012


This project provides for a PhD studentship at the University of Surrey, with support from AWE Ltd. The project is to explore meta-modelling technologies, which support transformations between languages such as UML and CSP.

High-integrity software/hardware development technology requires translation from one such language to another. This PhD is concerned with developing traceable and repeatable translation methods. James Sharp is the PhD student supported by this project.

Funding amount