| EPSRC Reference: |
GR/S22004/01 |
| Title: |
FMnet: Formal Methods Network for Engineering Technologies |
| Principal Investigator: |
Bowen, Professor JP |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Information Systems and Information Tech |
| Organisation: |
London South Bank University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
17 October 2002 |
Ends: |
16 June 2004 |
Value (£): |
8,811
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Europe leads the world in the development and use of formal methods for critical computer-based systems. However there has been no well-funded coordinated European-wide effort to promote the use of formal methods, aid researchers in creating links between existing centres of excellence and with industry, to improve the technology transfer process. The network will address issues such as standards, web-based technologies, tools, integration with other approaches, the relationship to testing, refinement to code, etc. Activities will include transfer of researchers, workshops, support of conferences, training, technology transfer, etc. The Network will help ensure coordination of many activities that are currently underway separtely and will also foster new initiatives, especially to encourage the industrialization of approaches in an appropriate manner. This initial proposal is to provide travel funding for establishing the Network by liaising with proposed partners and writing a proposal for submission to the CEC.
|
|
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.lsbu.ac.uk |