| EPSRC Reference: |
GR/L55964/01 |
| Title: |
MANAGING INCONSISTENCY IN SOFTWARE ENGINEERING |
| Principal Investigator: |
Nuseibeh, Professor B |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 1998 |
Ends: |
31 January 2001 |
Value (£): |
54,698
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
A wide range of inconsistencies can arise in software development - for example during requirements engineering if contradictory requirements are elicited, during design as developers explore alternative design solutions, and during programming if exceptions are not anticipated or handled. A large proportion of software engineering research has been devoted to consistency maintenance, or has been geared towards eradicating inconsistencies as soon as they are detected. Industrial reality however suggests that practitioners (and their customers) live with inconsistency on a regular basis and develop ways of dealing with it as a matter of course. The overall objective of this project is to investigate the issues of managing inconsistencies that arise during software development activities, in order to provide development tools that are more in tune with actual development practices. In particular, the focus of the project is on examining and developing approaches that tolerate, even make use of, inconsistency in software descriptions (e.g., specifications and programs), and that facilitate reasoning, analysis and action in the presence of inconsistency. While there is normally an underlying intention to remove inconsistencies (e.g. conflict resolution), the proposed project aims to develop techniques for classifying, prioritising and circumventing inconsistencies en route to eventual resolution.
|
|
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 |