Research Areas

• Safety critical systems. I am the coordinator of the Safety critical systems course
• Object-oriented Specification: particularly RSDS, VDM++, and real-time systems
• Formalisation of UML, Some relevant papers are (Presented at ROOM 2, June 1998) and (Presented at ECOOP 98, Workshop 6)
• Methods integration: particularly UML with B AMN, Z++ or VDM++
• Reverse-engineering: program transformation approaches

Books

• Reverse Engineering and Software Maintenance (McGraw-Hill 1993)
• 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). This covers the process of software design, and the design of database, graphical and internet systems using Java. Suitable for undergraduate computing courses.

Current Projects

• UML-RSDS: Reactive Systems Design Support. Comprising development of a method and toolset for system development using UML and the MDA.