ASWEC
2001
IEEE
14 years 3 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
ASWEC
2001
IEEE
14 years 3 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
ASWEC
2001
IEEE
14 years 3 months ago
2001
IEEE
The purpose of this paper is two fold. Firstly, to inform the Australian software engineering community of the European Fifth Framework research structure and the involvement of a...
ASWEC
2001
IEEE
14 years 3 months ago
2001
IEEE
For many small software companies, full-scale software process improvement (SPI) initiatives are often out of reach due to prohibitive costs and lack of SPI knowledge. However, to...
ASWEC
2001
IEEE
14 years 3 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...