2493 search results - page 70 / 499 » Tool Support for Design by Contract |
AVI
2008
15 years 4 days ago
2008
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
WEBNET
2000
14 years 11 months ago
2000
: Changing user skills, available infrastructure, and work practices have caused many differences in the authoring support provided by the Walden's Paths project since its con...
WSC
2004
14 years 11 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Existing research addresses how designers create tools to support improvisation, yet little research explores how improvisation offers tools to support design work. This paper exp...
TCS
2002
14 years 9 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...