Discovery Projects - Grant ID: DP0211351

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0211351

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap between the informal requirements and the starting point of formally verifiable development. To minimise this gap, we develop a particularly expressive specification language, a calculus for stepwise refinement from such specifications down to distributed systems, and an automated tool for checking and supporting refinement steps in the calculus.

Funded Activity Details

Start Date: 31-08-2002

End Date: 31-12-2003

Funding Scheme: Discovery Projects

Funding Amount: $50,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Logics And Meanings Of Programs | Software Engineering | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Telecommunications | Communication services not elsewhere classified | Computer software and services not elsewhere classified |

Other Keywords

Communication services not elsewhere classified | Computation Theory and Mathematics | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Mathematical Logic And Formal Languages | Software Engineering | Telecommunications

Related Links