Sciweavers

613 search results - page 33 / 123
» Executable Visual Contracts
Sort
View
VIS
2008
IEEE
134views Visualization» more  VIS 2008»
15 years 6 days ago
Glyph-Based SPECT Visualization for the Diagnosis of Coronary Artery Disease
Myocardial perfusion imaging with single photon emission computed tomography (SPECT) is an established method for the detection and evaluation of coronary artery disease (CAD). Sta...
Jennis Meyer-Spradow, Lars Stegger, Christian DÃ...
SOFTVIS
2010
ACM
13 years 11 months ago
Heapviz: interactive heap visualization for program understanding and debugging
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
Edward Aftandilian, Sean Kelley, Connor Gramazio, ...
QEST
2008
IEEE
14 years 5 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identiï¬cation o...
Husain Aljazzar, Stefan Leue
SMALLTALK
2007
Springer
14 years 5 months ago
Object flow analysis: taking an object-centric view on dynamic analysis
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
Adrian Lienhard, Stéphane Ducasse, Tudor G&...
VISUALIZATION
2005
IEEE
14 years 4 months ago
VisTrails: Enabling Interactive Multiple-View Visualizations
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
Louis Bavoil, Steven P. Callahan, Carlos Eduardo S...