EPSRC logo

Details of Grant 

EPSRC Reference: GR/N12480/01
Title: DOMAIN-SPECIFIC REPRESENTATION AND REASONING
Principal Investigator: Anderson, Professor S
Other Investigators:
Stenning, Professor K Toulas, Dr K Gurr, Dr CA
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