82 search results - page 17 / 17 » Abstraction of Object Graphs in Program Verification |
CACM
1998
13 years 4 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
DAGSTUHL
2001
13 years 6 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...