Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicab ....The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicable to simulating the dark ages, in order to implement a new paradigm for star formation and energy feedback which will aid in the interpretation of data from this next generation of major facilities.Read moreRead less
Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to li ....Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to link related research at UTS and Southampton University to understand how tools might support this knowledge management. Outcomes will include the creation of specific tools (and techniques for using them) within the context of managing organisational uptake of new technologies.Read moreRead less