< Back to previous page
Project
Transforming Human Interface Designs via Model Driven Engineering.
This research project is centred around three research questions:-Formal Semantics. What is the best way to formalise the semantics of a task modelling notation such as ConcurTaskTrees?-Correctness. Based on the formal semantics, can we prove the correctness of task model transformations?-Quality Properties. Can we identify and prove useful properties regarding these transformations?
Date:1 Jan 2008 → 31 Dec 2011
Keywords:SEMANTICS
Disciplines:Applied mathematics in specific fields
Project type:Collaboration project