Projects Projects My research interests are in software engineering. I'm liable to take an interest in any topic or area that can lead to improvements in the process of developing software. We're currently working on IBM HP Java as well as Sun's SDK 1.3 and Hotspot compilers. Software Engineering Education Method Integration Method integration involves combining methods. I'm specifically interested in methods for software development .
Industry has a lot of interest in it, in particular with respect to formal methods.
A big project in the UK that uses several methods was the development of air-traffic control software. I am currently interested in several aspects of method integration. Little work has been done on actually using the integrated methods in solving interesting problems. I want to apply some interesting integrated methods, e.g., Z and UML or OMT, to solve substantial software development problems. Extending such techniques to requirements analysis will prove to be fruitful.