2419 search results - page 218 / 484 » A Formal Approach to Software Testing |
115
click to vote
SPIRE
2000
Springer
15 years 7 months ago
2000
Springer
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
128
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
138
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
153
click to vote
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
137
click to vote
BIRTHDAY
2003
Springer
15 years 9 months 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...