5433 search results - page 862 / 1087 » Tool Support for Traceability-Adaptation |
171
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
168
click to vote
ASSISTIVE
1998
Springer
15 years 10 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
175
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
168
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
We have developed a desktop meeting environment named FreeWalk that supports casual meetings in a 3-dimensional (3D) virtual shared space, community common. Tools for human commun...
147
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...