Sciweavers

5664 search results - page 448 / 1133
» Creativity support tools
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
GW
1999
Springer
138views Biometrics» more  GW 1999»
15 years 11 months ago
The Expressive Power of Gestures: Capturing Scent in a Spatial Shape
Our engagement with consumer products diminishes gradually over the last decades, which causes considerable usability problems. To dissolve these problems, the designer's emph...
Caroline Hummels, Kees Overbeeke
ICSE
1999
IEEE-ACM
15 years 11 months ago
Pattern-Based Reverse-Engineering of Design Components
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
Rudolf K. Keller, Reinhard Schauer, Sébasti...
UIST
1998
ACM
15 years 11 months ago
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
Thomas P. Moran, William van Melle, Patrick Chiu
ICECCS
1996
IEEE
209views Hardware» more  ICECCS 1996»
15 years 11 months ago
Coupling-based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
Zhenyi Jin, A. Jefferson Offutt