1522 search results - page 157 / 305 » Practical Exception Specifications |
108
Voted
ESEC
1995
Springer
15 years 5 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
160
click to vote
CKEC
1991
15 years 5 months ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
AVI
2008
15 years 4 months ago
2008
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
110
Voted
WSC
2008
15 years 4 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
121
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...