1137 search results - page 108 / 228 » Disciplined Methods of Software Specification: A Case Study |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
BMCBI
2007
14 years 10 months ago
2007
Background: We have developed a new haplotyping program based on the combination of an iterative multiallelic EM algorithm (IEM), bootstrap resampling and a pseudo Gibbs sampler. ...
ESEM
2009
ACM
15 years 2 months ago
2009
ACM
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
115
click to vote
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...