2493 search results - page 66 / 499 » Tool Support for Design by Contract |
AIIDE
2008
15 years 3 days ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
257
click to vote
VR
2012
IEEE
13 years 5 months ago
2012
IEEE
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
DBPL
1989
Springer
15 years 1 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
SAC
2003
ACM
15 years 3 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
171
click to vote
VLDB
2008
ACM
15 years 10 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...