Sciweavers

Share
ASWEC
2001
IEEE
8 years 8 months ago
Visualisation of Refinements
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...
Neil J. Robinson, Colin J. Fidge
ASWEC
2001
IEEE
8 years 8 months ago
Extending the UML for Designing Jack Agents
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
Michael Papasimeon, Clinton Heinze
ASWEC
2001
IEEE
8 years 8 months ago
CORONET: An Australian Software Engineering Experience in Collaborative Research with the European Community
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...
John D'Ambra, D. Ross Jeffery, Dietmar Pfahl
ASWEC
2001
IEEE
8 years 8 months ago
Process Improvement in Four Small Software Companies
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...
Aileen Cater-Steel
ASWEC
2001
IEEE
8 years 8 months ago
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs
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...
Cyrille Artho, Armin Biere
books