Details of Grant 

EPSRC Reference:	GR/K68783/01
Title:	OBJECT-ORIENTED SPECIFICATION OF REAL-TIME AND REACTIVE SYSTEMS
Principal Investigator:	Maibaum, Professor T
Other Investigators:
Researcher Co-Investigators:
Project Partners:	Hewlett Packard Imperial College London
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	01 January 1996	Ends:	30 June 1999	Value (£):	277,602
EPSRC Research Topic Classifications:	Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
Increasingly, object-oriented analysis and design methods are being employed in the development of financially-critical or safety-critical software. A recent case is the development of software for the Jubilee Line using the OOA object-oriented method. Present diagrammatic methods are however limited in their precision, and do not cover more complex systems, such as those with real-time constraints or control of dynamic systems such as chemical plants. The project will develop notations, methods and tools for the extension of the Fusion, OMT and Booch methods to rigorously specify and develop such systems. Case studies from industral collaborators in the financial and chemical process control field will be used to provide requirments for the project techniques, and to demonstrate their effectiveness.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.imperial.ac.uk