3547 search results - page 405 / 710 » Pseudo-Exhaustive Testing for Software |
163
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
167
click to vote
PASTE
1998
ACM
15 years 11 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
132
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
190
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
164
click to vote
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...