Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
Software systems evolve over time. Currently we do not do a good job of documenting this evolution. This essay discusses the need to better document software evolution and introdu...
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
Andrew C. Rice, Alastair R. Beresford, Robert K. H...