Sciweavers

5506 search results - page 154 / 1102
» Visualizing Software Changes
Sort
View
SIGPLAN
2002
14 years 11 months ago
A rule-based language for programming software updates
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
Martin Erwig, Deling Ren
SOFTVIS
2010
ACM
14 years 11 months ago
TIE: an interactive visualization of thread interleavings
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
Gowritharan Maheswara, Jeremy S. Bradbury, Christo...
AVI
2008
15 years 1 months ago
Visualizing antenna design spaces
This paper describes a long-term project exploring advanced visual interfaces for antenna design. MERL developed three successive prototypes that embodied an evolution towards lar...
Kent Wittenburg, Tom Lanning, Darren Leigh, Kathy ...
AVI
2006
15 years 20 days ago
Evaluating visual table data understanding
In this paper, we focus on evaluating how information visualization supports exploration for visual table data. We present a controlled experiment designed to evaluate how the lay...
Nathalie Henry, Jean-Daniel Fekete
RE
2002
Springer
14 years 11 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...