Details of Grant 

EPSRC Reference:	GR/L87347/01
Title:	EMPIRICAL ASSESSMENT OF FORMAL METHODS
Principal Investigator:	Harrison, Professor R
Other Investigators:	Butler, Professor M
Researcher Co-Investigators:
Project Partners:	GEC Philips
Department:	Unknown
Organisation:	University of Southampton
Scheme:	Standard Research (Pre-FEC)
Starts:	01 November 1998	Ends:	15 December 1999	Value (£):	4,674
EPSRC Research Topic Classifications:	Software Engineering
EPSRC Industrial Sector Classifications:	Aerospace, Defence and Marine Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
The broad aim of this project is to investigate the hypothesis: the use of formal specification results in the higher quality software than does the use of informal techniques . The research involves investigating the ways in which the use of formal methods facilitates (or hampers) the production of high quality software. We will perform empirical assessments of software developed with the help of formal methods, and compare its quality (both quantitatively and qualitatively) with that of software developed without using formal methods. This proposal applies empirical software engineering research methods to software developed with formal methods through the performance of case studies. We hope this will begin to provide answers to some of the questions associated with the use of formal methods.
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.soton.ac.uk