Discovery Projects - Grant ID: DP0773438

Funding Activity

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

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

Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.

Funded Activity Details

Start Date: 01-01-2007

End Date: 30-06-2010

Funding Scheme: Discovery Projects

Funding Amount: $216,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Computer Software | Computer software and services not elsewhere classified | Software Engineering

Related Links