| EPSRC Reference: |
GR/K73152/01 |
| Title: |
IMPROVING THE QUALITY OF FORMAL REQUIREMENTS SPECIFICATIONS USING MACHINE LEARNING TECHNIQUES |
| Principal Investigator: |
McCluskey, Professor TL |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computing & Mathematics |
| Organisation: |
University of Huddersfield |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 February 1996 |
Ends: |
31 May 1998 |
Value (£): |
154,626
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The creation of a formal specification of the requirements of a proposed computer system is considered an important factor in ensuring the production of a dependable system but formalisation is no guarantee of the quality of the specification. This research will adapt techniques already developed in the field of machine learning (a sub-area of artificial intelligence) such as automated theory revision and apply them to the problem of automatically repairing and refining requirements specifications by interpreting user-supplied sets of test data as training data. We aim to integrate the techniques into a comprehensive, automated and diverse validation procedure for formal specifications, specifically in application areas that are characterised as being technical or knowledge-intensive. The resulting method and techniques will be evaluated using an industrial-strength requirements specification written in a language based on many-sorted first order logic. The benefits will be to increase to an increase the amount of automation in and tool support for the validation of requirements specifications, leading to an increase in their quality and easing the problem of their secure maintenance.
|
|
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.hud.ac.uk |