Taxonomy for discrete lenses... This involves the exploration of general distortion effects and how these effects are utilized by the visualization tool designer....
Generating error traces from verification-condition counterexamples... This approach gives the tool designer much flexibility in which conditions are to be checked, and the technique can reason about as many aspects of the given program as the underlying theorem prover ...
Development of computer assisted tool design for material forming processes... Considerations such as part material, tool material, characteristics of die filling, flow behavior of semisolid slurries must be carefully thought by the tool designer to reach an acceptable tooling solution....
A knowledge-based approach to rapid and reliable tool design... The geometry manipulation of triangulated facet data in combination with a knowledge-based decision support of the tool designer shows the potential to overcome difficulties in today’s tool design practice....
