Research for my MSc involved the study of algebraic specifications and their implementation using the method of transformational programming. The design and implementation of a tool to support this program construction was required. This work is based on the theorem prover Isabelle.
During the course of this
research I spent three months at the Technical University of Munich working in
Professor Broy’s school where I presented my work to
members of the school. In August 1996 I obtained a scholarship to attend a
Summer School in Mathematical Methods of Program Development in