Discovery Projects - Grant ID: DP0988396

Funding Activity

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

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

Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.

Funded Activity Details

Start Date: 01-01-2010

End Date: 30-06-2014

Funding Scheme: Discovery Projects

Funding Amount: $225,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Other Artificial Intelligence | Software Engineering | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Mathematical sciences |

Other Keywords

Artificial Intelligence and Image Processing | Computer software and services not elsewhere classified | Mathematical Logic And Formal Languages | Mathematical sciences | Other Artificial Intelligence | Software Engineering

Related Links