1781 search results - page 126 / 357 » Visualizing program execution using user abstractions |
115
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
135
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
115
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
124
Voted
CDVE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. XML documents are increasingly being used to mark up various kinds of data from web content to scientific data. Often these documents need to be collaboratively created a...
115
click to vote
SIGGRAPH
2009
ACM
15 years 8 months ago
2009
ACM
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...