I am teaching on the Professional short course in model-driven and agile development in July.
Here are some slides on Computational linguistics
Slides from my talk on model transformation verification
I am a member of the
SMAL research group
in the Department of Informatics. My particular areas of interest
- Carnegie UK Carnegie Lab project: Software Engineering training for employment skills. £6700. April 2016-September 2017.
- MTNET Model Transformations Network project, a UK Network project
Model Transformation Design Patterns
A Framework for Model Transformation Verification
Patterns for Model Transformations (ICSEA 2011)
Slicing of UML Models (ICSOFT 2010, MODELS 2010)
Specification and Verification of Model Transformations (IFM 2010)
(Presented at ROOM 2, June 1998)
(Presented at ECOOP 98, Workshop 6)
Catalogue of model transformations
Current PhD Students
Hessa Alfraihi (Agile Model-Driven Development)
Sobhan Yassipour-Tehrani Requirements engineering for model transformations.
Shekoufeh Kolahdouz-Rahimi (Model transformation specification): Awarded 2013
Kleopatra Chatziprimou (Optimisation of cloud computing
Krikor Maroukian (MDD for business modelling)
Ravinder Singh-Zandu (MDD for business modelling)
- UML-RSDS: Reactive Systems Design Support. Comprising development of a
method and toolset for system development using UML and the MDA.
- Understanding the Record: Using metamodelling and transformations to represent electronic health records.
Points of Esteem
I am an editor of the Software Systems Modelling journal (Springer).
I am on the programme committee of MODELS 2012, VOLT 2014, AMT 2014.