10182 search results - page 1492 / 2037 » Case Studies |
206
Voted
ENTCS
2002
15 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
188
Voted
ESE
2002
15 years 7 months ago
2002
Estimating remaining defects or failures in software can help test managers make release decisions during testing. Several methods exist to estimate defect content, among them a v...
175
click to vote
ETS
2002
IEEE
15 years 7 months ago
2002
IEEE
There is a strong technological and economic push for higher education providers to adopt online learning strategies. This is driven, in part, by the requirement of industry for l...
190
Voted
HF
2002
15 years 7 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
174
Voted
IEE
2002
15 years 7 months ago
2002
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...