| EPSRC Reference: |
GR/A01756/01 |
| Title: |
SUPPORTING SOFTWARE DESIGN |
| Principal Investigator: |
Stevens, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Advanced Fellowship (Pre-FEC) |
| Starts: |
01 October 2000 |
Ends: |
31 August 2006 |
Value (£): |
230,697
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This proposal studies the way in which the practise of mainstream software design can be well supported by formal techniques. The need to avoid imposing extra burdens on the designer means that the techniques must be suitable for incorporation in existing tools and must be able to be presented in ways which allow the user to be an expert in the problem rather than in the formal techniques themselves. The work proposed is specifically concerned with supporting designers using the Unified Modelling Langauge; the recent adoption of this comparatively well defined language as a standard in much mainstream software design presents new opportunities.There are three strands to the proposal. Each strand is driven by fundamental design support questions; each is more concerned with support of the design process than the design documentation and verification process; and each relies on the opportunity offered by the rise of UML.1. Problem driven application of existing techniques in particular supporting design that involves product lined architecture and design by contract2. Games in software design: supporting experimenation with design decisions, using games inspired by those developed in concurrency for interactive problem exporation.3. Validation and dissemination: spreading the techniques into industry.
|
|
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.ed.ac.uk |