Formal meta-modelling for tool development

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.