10263 search results - page 296 / 2053 » From Use Cases to System Operation Specifications |
173
click to vote
ISSRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
200
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
161
click to vote
ECIS
2004
15 years 8 months ago
2004
The purpose of this paper is to increase understanding about the use of embedded open source software in commercial telecommunication products. This paper applies concepts of valu...
206
click to vote
ACMDIS
2004
ACM
16 years 26 days ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
232
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...