EPSRC logo

Details of Grant 

EPSRC Reference: GR/K15114/01
Title: FORMAL REQUIREMENTS CAPTURE FOR LOGIC PROGRAMS
Principal Investigator: Robertson, Professor D
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Artificial Intelligence
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 October 1994 Ends: 30 September 1995 Value (£): 9,950
EPSRC Research Topic Classifications:
Software Engineering
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
This is a starter grant to support the application of techniques from Formal Specifications and Knowledge-Based Systems to the problem of Requirements Capture for Logic Programs. It will help to provide the groundwork for a full research grant application for the Construction of a Requirements Capture Environment which delivers the major functionality of existing Requirements Capture Systems but with additional reliability obtained by basing it on Formal Refinement Logic and Logic Programming Techniques.
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