1134 search results - page 90 / 227 » Composing Tests from Examples |
115
click to vote
HT
1991
ACM
15 years 2 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
DSVIS
2006
Springer
15 years 1 months ago
2006
Springer
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
83
Voted
SPLC
2008
15 years 19 days ago
2008
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
106
click to vote
ESWA
2006
14 years 11 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
JAR
2008
14 years 11 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...