53 search results - page 5 / 11 » Does active guidance improve software inspections |
CBSQ
2003
Springer
14 years 21 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
COMPSAC
2002
IEEE
14 years 13 days ago
2002
IEEE
Organisations that follow the CMM-road towards software process improvement tend to spend large amounts of money and effort. This is certainly the case in the company ING which le...
BMCBI
2007
13 years 7 months ago
2007
Background: Unsupervised annotation of proteins by software pipelines suffers from very high error rates. Spurious functional assignments are usually caused by unwarranted homolog...
NTMS
2009
IEEE
14 years 2 months ago
2009
IEEE
—IPSec is a protocol that allows to make secure connections between branch offices and allows secure VPN accesses. However, the efforts to improve IPSec are still under way; one ...
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...