Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept ....Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept of software object/component that allows differentiated access. A platform is also developed for use in field studies for validation and benchmarking. The results will help Australia become a provider of software services for international clients and permit devolution to regional centres.Read moreRead less
Optimising value for money in software development through standardised cost metrics in the procurement, development and project management phases. Mission critical and complex software projects habitually exceed budget expectations significantly. Regular outsourcing of software development means that procurement specialists, project managers and software engineers require a common understanding of individual system requirement costs to facilitate accord on price. Contemporary techniques for des ....Optimising value for money in software development through standardised cost metrics in the procurement, development and project management phases. Mission critical and complex software projects habitually exceed budget expectations significantly. Regular outsourcing of software development means that procurement specialists, project managers and software engineers require a common understanding of individual system requirement costs to facilitate accord on price. Contemporary techniques for describing and costing requirements fail to directly map into project management structures, leading to ongoing value comparisons that are subjective and unrepeatable. This research will develop the principles to be used by both clients and suppliers to compute earned value from requirements, leading to more accurate assessments and calculations of Value for Money in software projects.Read moreRead less
Assistive technologies for autism support harnessing social media. This project aims to tap social media to revolutionize early intervention therapy for children with autism. By creating open, extensible software for therapy delivery, and tools for parents to access high quality information and support, we will provide children a greater chance to achieve their potential and much-needed relief for parents and carers.
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Tools, methodologies and reasoning support for developing companion-toy modules. This project investigates building of modules for an intelligent Toy which can be customised and adapted over time by add-on modules. Intelligent interactive toys are growing in popularity, and the ability for such a toy to develop over a prolonged lifetime, is both a sound business idea and a mechanism for extending the useful life of the Toy.