| EPSRC Reference: |
GR/S69979/01 |
| Title: |
Network: RefineNet |
| Principal Investigator: |
Derrick, Professor J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2004 |
Ends: |
31 December 2004 |
Value (£): |
62,425
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Refinement is one of the cornerstones of a formal approach to software engineering. Work on refinement in the late 80s made initial progress in a number of areas, however recently a new community of researchers has begun to explore new aspects of the subject.The purpose of this network is to support this emerging community and to bring together people who are interested in the development of concrete designs or executable programs from formal specifications, tool support for formal software development, and those who have practical experience with formal refinement methodologies.The network will focus around problems in two strands, industrial and foundational, and consider the following questions. How best can the refinement process be automated? How can smaller scale refinement techniques be scaled up? How can current industrial practice and experience be progressed in this area? How is refinement best supported in integrated notations (both informal and formal)? What foundations and generalisations are needed? What are the appropriate compositional refinement techniques? What theory and practice is needed for refinement in 00 languages, including UML? How can aspects of concurrencv and distribution be best supported?
|
|
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.kent.ac.uk |