Details of Grant 

EPSRC Reference:	GR/M38582/01
Title:	HANDLING INCONSISTENCY AND CHANGE IN EVOLVING REQUIREMENTS SPECIFICATIONS
Principal Investigator:	Nuseibeh, Professor B
Other Investigators:	Kramer, Professor J
Researcher Co-Investigators:
Project Partners:	Pre Nexus Migration Quality Systems & Software Ltd
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	17 May 1999	Ends:	16 August 2002	Value (£):	193,728
EPSRC Research Topic Classifications:	Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
A key problem in large systems engineering projects is the management-of frequently changng requirements. Requirements changes have a significant impact on the consistency of specifications. They may introduce inconsistencies and, conversely, they may be necessary to handle existing inconsistencies. Living with inconsistency during evolutionary development is therefore inevitable in all real large-scale specifications. The proposed project will develop formally sound techniques and practical tools that tolerate inconsistency by allowing continued reasoning and action in its presence. Specifically, the project will provide tools and techniques for analysing inconsistent specifications analysing the impact of different development actions on specifications - whether these actions handle specific inconsistencies or initiate some evolutionary change - and providing automated guidance for acting in the presence of inconsistency. The viability of the approach and the associated tools'will be evaluated by carrying out large case studies on requirements specifications provided by the industrial project collaborators. The project combines both basic and applied research. It is of interest to practitioners searching for ways to manage changes in their systems specifications, and to researchers, developing techniques for handling inconsistency in formal specifications.Keywords describing areas of proposalSoftware Engineering, Information Technology, Systems Engineering, Distributed Systems.,
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