DAGSTUHL
2001
14 years 1 months ago
2001
This article describes the Bauhaus tool suite as a concrete example for software visualization in reverse engineering, re-engineering, and software maintenance. Results from a rec...
DAGSTUHL
2001
14 years 1 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
DAGSTUHL
2001
14 years 1 months ago
2001
DAGSTUHL
2001
14 years 1 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
DAGSTUHL
2001
14 years 1 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
DAGSTUHL
2001
14 years 1 months ago
2001
Ubiquitous computing is a compelling vision for the future that is moving closer to realization at an accelerating pace. The combination of global wireless and wired connectivity a...
DAGSTUHL
2001
14 years 1 months ago
2001
We first give an overview of the features of the GANIMAL Framework introducing several new concepts not present in any previous algorithm animation system. Then we focus on its me...
DAGSTUHL
2001
14 years 1 months ago
2001
DAGSTUHL
2001
14 years 1 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
DAGSTUHL
2001
14 years 1 months ago
2001