| EPSRC Reference: |
GR/T08630/01 |
| Title: |
Research Induction and Training Package at Integrated Formal Methods 2004 |
| Principal Investigator: |
Boiten, Professor EA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 2004 |
Ends: |
31 May 2004 |
Value (£): |
8,008
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Applying formal methods may involve the modelling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints on a system, either by the creation of hybrid notations, by extending existing notations or by translating between notations. The integration of formal methods promises great benefits for systems modelling and software development. In particular, the increased use in industry of semi-formal methods such as UML, in combination with the availability of practical verification tools such as model checkers, makes the investigation of method integration relevant for both industry and academia.This project will organise a Research Induction and Training Package around the main international conference in this area, Integrated Formal Methods, to be held at the University of Canterbury in April 2004. The Package will consist of:a tutorial on Unified Theories of Programming, a foundational introduction to the subject; a doctoral symposiumthe Integrated Formal Methods conference.Support is asked for the registration and accommodation costs for 15 EU students, plus some administrative costs associated with the selection of the students.
|
|
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 |