32 search results - page 5 / 7 » kbse 2003 |
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...