Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
This paper discusses two projects aimed at utilising the educational potential of hypermedia whilst avoiding the danger of the user becoming “lost in hyperspace”. The first pr...
David J. Moore, Dave J. Hobbs, D. Mullier, C. Bell
—Spatial query execution is an essential functionality of a sensor network. Redundancy within a sensor network can be exploited to reduce the communication cost incurred in execu...