Over the last few years we have had the good fortune to aggressively apply the agile practices on a number of projects with great success. These successes, however, have not been ...
This report outlines technical lessons learnt by about 20 of Australia’s most experienced agile specialists over several years across several projects within an organization whi...
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...