82 search results - page 17 / 17 » Abstraction of Object Graphs in Program Verification |
CACM
1998
14 years 9 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
14 years 10 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 ...