| EPSRC Reference: |
GR/L54844/01 |
| Title: |
ARS CALCULANDIS |
| Principal Investigator: |
Maibaum, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
15 February 1997 |
Ends: |
14 May 1997 |
Value (£): |
6,600
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
A significant portion of software engineering activities consist of the construction of real time systems, which have widespread industrial application. The advent of object oriented methods opened up new possibilities for the development of high quality software systems. Currently available object oriented methods fail to adequately reflect the nature of real time systems. Moreover, they lack a formal base - a fundamental feature in safe, modern software development tool. They do not go beyond helping, often in a very efficient way, with the development and understanding of what has already been thought, but only up to exactly this point.Existing methodologies do not provide the appropriate mechanisms to make inferences about the behaviour of the system under development, or to enable the user to prove the validity of certain assertions or the invariance of particular properties.Constructing a development system with appropriate inference and proof facilities is a fundamental step in the evolution from craftsmanship to software engineering.Our main goal is the definition of a new methodology, as well as a prototype of its support system, for the development of concurrent real time systems based on (and normally hiding from the users' view) a formal level which provides software engineers with better control over the process and the product being developed.
|
|
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.imperial.ac.uk |