809 search results - page 25 / 162 » Requirements by Contracts allow Automated System Testing |
228
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
117
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
118
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
133
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
137
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...