Sciweavers

1251 search results - page 4 / 251
» Using Visualization to Debug Visualization Software
Sort
View
ICSE
2009
IEEE-ACM
13 years 4 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
IV
2002
IEEE
135views Visualization» more  IV 2002»
13 years 11 months ago
Static Visualization of Dynamic Data Flow Visual Program Execution
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
13 years 10 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
VL
2008
IEEE
127views Visual Languages» more  VL 2008»
14 years 19 days ago
Towards end-user web software visualization
Software visualization has always been expensive, special purpose, and hard to program. Most of the existing software visualization tools require too much time for enduser develop...
Craig Anslow, James Noble, Stuart Marshall, Ewan D...
COMPSAC
2006
IEEE
14 years 9 days ago
Dynamic Object Viewers for Java
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
James H. Cross II, T. Dean Hendrix, Larry A. Barow...