Sciweavers

ISSTA
1989
ACM
13 years 12 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
ISSTA
1989
ACM
13 years 12 months ago
Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
James M. Bieman, J. Schultz
ICSE
1989
IEEE-ACM
13 years 12 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry
ICSE
1989
IEEE-ACM
13 years 12 months ago
Software Process Modeling: Principles of Entity Process Models
Watts S. Humphrey, Marc I. Kellner
FSTTCS
1990
Springer
13 years 12 months ago
Randomized Parallel Selection
We show that selection on an input of size N can be performed on a P-node hypercube (P = N/(log N)) in time O(N/P) with high probability, provided each node can process all the in...
Sanguthevar Rajasekaran
UIST
1992
ACM
13 years 12 months ago
Mapping GUIs to Auditory Interfaces
of audio GUIs and the abstract components of auditory interfaces. We also detail some of the techniques we are using to convey a range of interface attribute information via the au...
Elizabeth D. Mynatt, W. Keith Edwards