“The hardest single part of building a software system is deciding what to build. No part of the work so cripples the resulting system if done wrong. No other part is more difficult to rectify later.” – Fred Brooks

One challenge of software engineering is the ability to seamlessly move from requirements to analysis models to design models. This process typically involves a series of transformations from one model to another. In order to precisely define these transformations, the syntax and the semantics of each model involved need to be formally defined. My PhD research concentrates on the definition of such formal semantics. In particular I will focus on scenario-based notations, which play a central role in the documentation of functional requirements for interactive applications.

Relevant publications resulting from my doctoral research as well as from the research carried out during my Masters and Diploma studies can be found on the list of publications.

As a researcher I am a member of the IFIP 13.2 Working Group "Methodologies for User-Centered Systems Design". I also serve on the program committee of the following conferences and workshops:

• Design, Specification and Verification of Interactive Systems 2006
• Formal Methods for Interactive Systems 2007
• Conference of the South African Institute of Computer Scientists and Information Technologists 2007
• Working Conference on Human-Centred Software Engineering 2008