Research Areas

Object-oriented Specification: particularly the UML-RSDS toolset, and Model Transformations
Formalisation of UML
Safety critical systems. I am the coordinator of the Safety critical systems course
Methods integration: particularly UML with B AMN, Z++ or VDM++
Reverse-engineering: program transformation approaches
Model-driven Business Process Engineering

Recent Papers

UML 2 Semantics and Applications (Editor) (Wiley, 2009)
Model-Driven Development using UML and Java (Cengage, 2009)
Object-oriented Specification Case Studies more details here (Prentice Hall 1993)
Formal Object-oriented Development (Springer-Verlag 1995)
The B Language and Method: A Guide to Practical Formal Development (Springer-Verlag 1996)
Software Design in Java 2 (Palgrave, 2002).
Reverse Engineering and Software Maintenance (McGraw-Hill 1993)

Shekoufeh Kolahdouz-Rahimi (Model transformation specification)

Krikor Maroukian (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.

I am an editor of the Software Systems Modelling journal (Springer).