2493 search results - page 80 / 499 » Tool Support for Design by Contract |
107
click to vote
HAPTICS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
Creativity is central to much human problem solving and innovation. Brainstorming processes attempt to leverage group creativity, but group dynamics sometimes limit their utility....
INFSOF
2007
14 years 9 months ago
2007
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
VL
2009
IEEE
15 years 4 months ago
2009
IEEE
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
IWPC
1996
IEEE
15 years 2 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...