1057 search results - page 200 / 212 » Testing from Formal Specifications, a Generic Approach |
BIRTHDAY
2003
Springer
14 years 22 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
AIEDAM
2007
13 years 7 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
BMCBI
2008
13 years 7 months ago
2008
Background: Many statistical methods have been proposed to identify disease biomarkers from gene expression profiles. However, from gene expression profile data alone, statistical...
IPMI
2009
Springer
14 years 8 months ago
2009
Springer
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...
PICS
2003
13 years 8 months ago
2003
To establish a correlation between the system output and the corresponding reflectance, the system characterisation functionDeriving the actual multispectral data from the output o...