| EPSRC Reference: |
GR/L03637/01 |
| Title: |
A DEVELOPMENT ENVIRONMENT FOR COMPUTATIONAL MODELLING IN COGNITIVE SCIENCE & COGNITIVE NEUROSCIENCE |
| Principal Investigator: |
Cooper, Professor RP |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Psychological Sciences |
| Organisation: |
Birkbeck College |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 September 1996 |
Ends: |
31 August 1999 |
Value (£): |
225,633
|
| EPSRC Research Topic Classifications: |
| Cognitive Science Appl. in ICT |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Sceptic is an executable specification language that we have developed for the rapid development of cognitive models of cognitive processes. The present proposal is to extend the usability of Sceptic by developing a set of libraries and a graphical interface to those libraries that is more in keeping with the box/arrow style of theorising used by many cognitive scientists. The interface will exploit recent developments in object-orietated programming, concurrent computation, and software engineering to provide a flexible, user-friendily environment in which computationally non-sophisticated theorists may specify and develop models of cognitive processes.The proposed work will include a survey of the literature and users to determine precise requirements, the formal specification of a system wich meets those requirements the implementaiton of that system, the use of the system in two large-scale simulation case studies, and the dissemination (with inital user support) of the complete documented system to the wider research community.
|
|
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.bbk.ac.uk/ |