795 search results - page 1 / 159 » A Framework for Visualizing Object-Oriented Systems |
OOPSLA
1990
Springer
13 years 8 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
ISORC
1999
IEEE
13 years 9 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
11
Voted
INFOVIS
1998
IEEE
13 years 9 months ago
1998
IEEE