3424 search results - page 359 / 685 » Automated Testing of Classes |
151
click to vote
SEW
2005
IEEE
16 years 7 days ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
153
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
163
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
152
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
177
click to vote
EWCBR
2004
Springer
16 years 1 days ago
2004
Springer
This paper is based on the observation that the nearest neighbour in a case-based prediction system may not be the best case to explain a prediction. This observation is based on t...