484 search results - page 73 / 97 » Improving Validation Activities in a Global Software Develop... |
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
ISESE
2005
IEEE
14 years 1 months ago
2005
IEEE
Test case prioritization techniques have been shown to be beneficial for improving regression-testing activities. With prioritization, the rate of fault detection is improved, thu...
WETICE
2005
IEEE
14 years 1 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
ESEM
2008
ACM
13 years 9 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...