| EPSRC Reference: |
GR/N12480/01 |
| Title: |
DOMAIN-SPECIFIC REPRESENTATION AND REASONING |
| Principal Investigator: |
Anderson, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2000 |
Ends: |
31 December 2002 |
Value (£): |
186,839
|
| EPSRC Research Topic Classifications: |
| Cognitive Science Appl. in ICT |
|
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
There is a tension between engineering practice and programmable systems. Typically engineering practice and programmable systems is domain-specific, exploiting the constraints of the class of systems under consideration to simplify the task for the engineer. By contrast, programmable systems emphasise universality and flexibility. The aim of this project is to explore one approach to resolving this tension.Our approach is to combine the empirical study of the engineering practice with cognitive studies of how representations support reasoning to inform the development of a framework for the definition of domain-specific notations and reasoning support. The framework will provide a systematic way to incorporate domain assumptions and practice into representations to provide appropriate support for engineers developing products incorporating programmable components.
|
|
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 |