Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evol ....Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evolution management. More broadly, the work proposed here will enable the IT industry to adopt and utilise the techniques developed in a number of research fields of Artificial Intelligence in developing the robust and reliable software systems for the rapidly changing knowledge economy of the 21st century.Read moreRead less
Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, internation ....Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, international funding agencies have targeted agent-oriented technologies as essential ingredients for prosperity in the 21st century. This project will help to ensure that Australia shares in that prosperity.Read moreRead less
Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed b ....Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed by academics. We hypothesise that current 3D relational visualization methods fail because they do not pay attention to the human perception of topology. In this project we will leverage mathematical topology to construct new methods for the 3D visualization of relational data.
Read moreRead less
New Methods for Interactive Visualization of Large Microarray Data Sets. This project will investigate methods for visualising graphs produced by AI-based analysis of real-world biological data. These new visualisation methods will assist biologists to develop new DNA Microarray experiments, the source of raw data for visualisation. Data from new enhanced experiments, plus background knowledge from integrated public databases will produce richer data for visualisation, thus creating a positive f ....New Methods for Interactive Visualization of Large Microarray Data Sets. This project will investigate methods for visualising graphs produced by AI-based analysis of real-world biological data. These new visualisation methods will assist biologists to develop new DNA Microarray experiments, the source of raw data for visualisation. Data from new enhanced experiments, plus background knowledge from integrated public databases will produce richer data for visualisation, thus creating a positive feedback loop in the course of research into both topics.Read moreRead less
Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.Read moreRead less
Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems ....Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.Read moreRead less
Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools ....Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools to allow integration of experience repositories and electronic process guides to facilitate process tailoring, process improvement, and project management. The result will be significant improvements in software development productivity and quality.Read moreRead less
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
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 valid ....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.Read moreRead less
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