Knowledge to enhance Science Teaching and Learning: Pursuing scholarship through explicitly enacting expert science teachers' pedagogical content knowledge. This research will enhance understandings of science teaching and learning allowing science teachers to share their knowledge in meaningful ways. In teacher preparation this will be particularly valuable by 'fast-tracking' learning about teaching science and minimize the process of the next generation of teachers feeling as though they are r ....Knowledge to enhance Science Teaching and Learning: Pursuing scholarship through explicitly enacting expert science teachers' pedagogical content knowledge. This research will enhance understandings of science teaching and learning allowing science teachers to share their knowledge in meaningful ways. In teacher preparation this will be particularly valuable by 'fast-tracking' learning about teaching science and minimize the process of the next generation of teachers feeling as though they are rediscovering that which is already known by experienced teachers of science. In articulating science teachers' knowledge, enhanced valuing their knowledge and skills of practice will occur. Such outcomes will place understanding of science teaching and learning at the forefront of teacher professionalism and positively impact work on professional standards in teaching.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project wil ....Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project will address that need by designing and implementing a novel agent language for BDI, based on contributions using transactional concepts for agents developed at The University of Melbourne. This will contribute to the development of robust and predictable agent software, that can be used in complex and large scale applications of the future.
Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
The role of subject-matter knowledge in teaching science and mathematics: Practices of teachers with advanced qualifications in the sciences. High quality science and mathematics education is central to economic prosperity. This study will achieve two outcomes. Firstly it explores the importance of subject matter knowledge in teaching. Much has been studied about the knowledge of teachers but limited research has been conducted with teachers who have substantial subject-matter knowledge. These f ....The role of subject-matter knowledge in teaching science and mathematics: Practices of teachers with advanced qualifications in the sciences. High quality science and mathematics education is central to economic prosperity. This study will achieve two outcomes. Firstly it explores the importance of subject matter knowledge in teaching. Much has been studied about the knowledge of teachers but limited research has been conducted with teachers who have substantial subject-matter knowledge. These findings will inform the current debate about the appropriate models of teacher education and the balance of emphasis on content knowledge and pedagogical knowledge. Secondly, given a number of attempts to attract mid career professionals with high qualifications to teaching, the study will provide evidence on how these people transition to their new careers and what support is needed.Read moreRead less
Comparative effectiveness of three literacy teaching approaches for young children with reading difficulties. This project addresses concerns expressed by the Minister for Education, Science and Training, and the Australian Senate in regard to the relative poor performance of Australian children in national reading tests. Specifically, the project seeks to identify the most effective early literacy instructional method or methods to redress the growing concern that Australian children are droppi ....Comparative effectiveness of three literacy teaching approaches for young children with reading difficulties. This project addresses concerns expressed by the Minister for Education, Science and Training, and the Australian Senate in regard to the relative poor performance of Australian children in national reading tests. Specifically, the project seeks to identify the most effective early literacy instructional method or methods to redress the growing concern that Australian children are dropping behind in international competitiveness in reading and literacy achievement. The study concentrates on early reading development and to inform on teacher education and classroom teaching practices. Read moreRead less
Researching Collective Argumentation in Mathematics and Science Classrooms. The project will provide evidence-based pedagogical strategies for the reform of classroom teaching and learning in the crucial areas of mathematics and science. We will develop a form of pedagogy (Collective Argumentation) that enables students to be confident in deploying mathematical and scientific knowledge and skills in relation to the economic and social choices that they make in everyday contexts. Collective Argum ....Researching Collective Argumentation in Mathematics and Science Classrooms. The project will provide evidence-based pedagogical strategies for the reform of classroom teaching and learning in the crucial areas of mathematics and science. We will develop a form of pedagogy (Collective Argumentation) that enables students to be confident in deploying mathematical and scientific knowledge and skills in relation to the economic and social choices that they make in everyday contexts. Collective Argumentation can induct students into 'habits of mind and social practices' necessary for building an innovative learning community. This project will enable us to extend this innovative approach and to further develop its effectiveness.Read moreRead less
Research capacity-building: the development of Australian PhD programs in national and emerging global contexts. PhD programs in universities are the principal means by which new researchers are prepared for work in the knowledge economy. This project develops a comprehensive coded database of every PhD awarded in Australia since the first programs in the 1940s. It the will study fourteen different PhD programs that have developed during this period in four universities. The project focuses on ....Research capacity-building: the development of Australian PhD programs in national and emerging global contexts. PhD programs in universities are the principal means by which new researchers are prepared for work in the knowledge economy. This project develops a comprehensive coded database of every PhD awarded in Australia since the first programs in the 1940s. It the will study fourteen different PhD programs that have developed during this period in four universities. The project focuses on how these programs develop research capacity within disciplines and how these are related to the changing social, cultural and economic needs of Australia. The project will assist in planning future PhD programs and research capacity development.Read moreRead less