2419 search results - page 217 / 484 » A Formal Approach to Software Testing |
127
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
139
click to vote
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
108
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
104
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
130
click to vote
WER
1999
Springer
15 years 8 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...