Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP0342703
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 Feedback Form.
Funded Activity Summary
Improving the integrity of complex software systems. Software systems are among the most complex artifacts created today. The problems of reliability and maintenance of complex software systems are well-known. Improving reliability and lowering production cost continues to be an important challenge. The aim of this project is to create software development tools that allow programmers to express more of their intentions about program behaviour, in a way which can be automatically checked, in order to find discrepancies between intended and actual behaviour. This will facilitate the construction of software that is more secure, reliable, maintainable and reusable, that is, improve the integrity of complex software systems.Funded Activity Details
Start Date: 2003
End Date: 12-2007
Funding Scheme: Discovery Projects
Funding Amount: $360,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Programming Languages | Software Engineering | Computer Software
