Model Update with Localisation, Constraints and Abstraction

该项目将从根本上为先进的计算机辅助系统修改提供一个新的范例和系统原型。这将大大加强澳大利亚在计算机辅助系统开发的前沿研究方面的领先地位。通过应用新的方法和技术，澳大利亚IT行业将显著提高其为各种应用开发高度复杂的硬件和软件系统的能力。凭借在知识系统更新、模型检查和软件开发等不同领域的强大研究计划，以及协作研究培训环境，该项目将加强澳大利亚作为计算和IT研究领导者的国际声誉。

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.