Dr Robert Walters
I joined the University of Southampton in May 1996 as a Research Assistant to work for Prof. Peter Henderson on the CORE (Construction Companies Processes Re-Engineering) Esprit project 20.777. I later worked on several further projects, including PROCESS, SV-Soft a project in collaboration with ICL and the EPSRC RICES project which was concerned with how to build Enterprise Systems able to cope with inconsistent data.
I completed my PhD in 2003. The subject of my thesis was a formal modelling language in which the user builds models by drawing diagrams using a software tool in place of the usual process algebra. In addition to supporting the model generation process, the tool generates executable models and Promela code using which they may be subjected to analysis using the SPIN model checker. See RDT for more details. This work built on the REPI package comprising a collection of tools for building executable models using the RolEnact process modelling language with a minimum of specialised knowledge.
Since 2002, I have been working as a lecture in ECS, now part of the Faculty of Physical and Applied Sciences (following the most recent University of Southampton reorganisation.)
Now that ECS has adopted ePrints, I no longer maintain an up to date personal list. My publications are listed in, and available from the ECS ePrints archive. I have supervised PhD students with a variety of interests including Formal Modelling, Comprehensibility of Modelling Systems, Norm based Service Selection and more recently Cloud and Cluster Computing.
In addition to the usual complement of tutees and project students, my teaching currently includes COMP2007 Software Analysis and Design, COMP2012 Software Engineering Group Project, INFO2010 Information Systems and Contexts, COMP6013 Agile and Object Oriented Development. I also supervise one or more 4th year Group Design Projects most years.
Anyone looking for files that I have promised to make available should try looking here.
Room 4044, level 4, Mountbatten Building,
Electronic and Software Systems
Electronics & Computer Science
University of Southampton
Highfield, Southampton SO17 1BJ
Telephone: +44 (1703) 593055
FAX: +44 (1703) 593045
Page updated: 20 December 2011.