The Community for Technology Leaders
Visual Languages and Human-Centric Computing, IEEE Symposium on (2005)
Dallas, Texas
Sept. 20, 2005 to Sept. 24, 2005
ISBN: 0-7695-2443-5
TABLE OF CONTENTS
Introduction
Introduction

Committees (PDF)

pp. xii-xiii
Tutorials

Unified Modeling Language 2.0 (PDF)

Alexander Knapp , Universit?t M?nchen
Harald St?rrle , Universit?t M?nchen
pp. 9
Keynote Speeches

A Stagecast Retrospective (PDF)

Allen Cypher , IBM Almaden Research Center
pp. 14

SysML with ARTiSAN Studio (PDF)

Manohar Rao , ARTiSAN Software Tools
pp. 15
Paper Session 1: Domain Specific Visual Languages - 1

HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis (Abstract)

Dolev Dotan , Technion - Israel Institute of Technology
Ron Y. Pinter , Technion - Israel Institute of Technology
pp. 27-34
Paper Session 2: End-User Debugging and Testing

Goal-Directed Debugging of Spreadsheets (Abstract)

Robin Abraham , Oregon State University
Martin Erwig , Oregon State University
pp. 37-44

Garbage in, Garbage out? An Empirical Look at Oracle Mistakes by End-User Programmers (Abstract)

Curtis Cook , Oregon State University
Cory Kissinger , Oregon State University
Amit Phalgune , Oregon State University
Joseph R. Ruthruff , University of Nebraska-Lincoln
Laura Beckwith , Oregon State University
Margaret Burnett , Oregon State University
pp. 45-52

How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study (Abstract)

Margaret Burnett , Oregon State University
Joseph Lawrance , Microsoft Corporation and Oregon State University
Gregg Rothermel , University of Nebraska-Lincoln
Steven Clarke , Microsoft Corporation
pp. 53-60
Paper Session 3: Formal Foundations - 1

Executable Visual Contracts (Abstract)

Marc Lohmann , University of Paderborn
Gregor Engels , University of Paderborn
Stefan Sauer , University of Paderborn
pp. 63-70

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation (Abstract)

Ulrike Prange , Technical University Berlin
Hartmut Ehrig , Technical University Berlin
Gabriele Taentzer , Technical University Berlin
Karsten Ehrig , Technical University Berlin
pp. 71-78

Benchmarking for Graph Transformation (Abstract)

Dániel Varró , Budapest University of Technology and Economics
Gergely Varró , Budapest University of Technology and Economics
Andy Schürr , Technical University of Darmstadt
pp. 79-88
Paper Session 4: New Modes of Programming

Spoken Programs (Abstract)

Susan L. Graham , University of California at Berkeley
Andrew Begel , University of California at Berkeley
pp. 99-106
Paper Session 5: Visual Modeling Languages

Transformation of UML State Machines for Direct Execution (Abstract)

Wolfgang M? , Paderborn University
Tim Schattkowsky , Paderborn University
pp. 117-124

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation (Abstract)

Paul Ziemann , University of Bremen
Karsten Hölscher , University of Bremen
Claudia Ermel , Technical University of Berlin
Sabine Kuske , University of Bremen
pp. 125-133
Paper Session 6: Interaction and User Interface Design

Resource-Based Models of Visual Interaction: Understanding Errors (Abstract)

Stefano Levialdi , University of Rome - "La Sapienza"
Paolo Bottoni , University of Rome - "La Sapienza"
pp. 137-144

Designing Features for Both Genders in End-User Programming Environments (Abstract)

Laura Beckwith , Oregon State University
Susan Wiedenbeck , Drexel University
Shraddha Sorte , Oregon State University
Thippaya Chintakovid , Drexel University
Curtis Cook , Oregon State University
Margaret Burnett , Oregon State University
pp. 153-160
Paper Session 7: Algorithm Visualization and Demonstration

Show Me! Guidelines for Producing Recorded Demonstrations (Abstract)

Catherine Plaisant , University of Maryland at College Park
Ben Shneiderman , University of Maryland at College Park
pp. 171-178
Paper Session 8: Domain Specific Visual Languages - 2

ZenFlow: A Visual Web Service Composition Tool for BPEL4WS (Abstract)

Ricardo Jiménez-Peris , Universidad Politécnica de Madrid
Francisco Pérez-Sorrosal , Universidad Politécnica de Madrid
Alberto Martínez , Universidad Politécnica de Madrid
Marta Patiño-Martínez , Universidad Politécnica de Madrid
pp. 181-188

Visual Specifications of Correct Spreadsheets (Abstract)

Robin Abraham , Oregon State University
Steve Kollmansberger , Oregon State University
Martin Erwig , Oregon State University
Ethan Seifert , Oregon State University
pp. 189-196
Paper Session 9: Studies of End Users and Programmers

Who, What, and How: A Survey of Informal and Professional Web Developers (PDF)

Julie Ballin , Pennsylvania State University
Mary Beth Rosson , Pennsylvania State University
Jochen Rode , Virginia Tech
pp. 199-206

Estimating the Numbers of End Users and End User Programmers (Abstract)

Mary Shaw , Carnegie Mellon University
Christopher Scaffidi , Carnegie Mellon University
Brad Myers , Carnegie Mellon University
pp. 207-214
Paper Session 10: Software Visualization and Program Comprehension

Navigating Software Architectures with Constant Visual Complexity (Abstract)

Peter Eades , University of Sydney
Seok-Hee Hong , University of Sydney
Wanchun Li , University of Sydney
pp. 225-232

Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams (Abstract)

James F. Power , National University of Ireland
Brian A. Malloy , Clemson University
pp. 233-240

Easing Program Comprehension by Sharing Navigation Data (Abstract)

George Robertson , Microsoft Corporation
Mary Czerwinski , Microsoft Corporation
Robert DeLine , Microsoft Corporation
pp. 241-248
Paper Session 11: Formal Foundations - 2

Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar (Abstract)

Benjamin E. Birnbaum , Washington University in St. Louis
Kenneth J. Goldman , Washington University in St. Louis
pp. 259-266
Tech Note Session 1: Design, Specification, and Implementation of VLs

RGG+: An Enhancement to the Reserved Graph Grammar Formalism (Abstract)

Jun Kong , University of Texas at Dallas
Kang Zhang , University of Texas at Dallas
Guang-Lei Song , University of Texas at Dallas
Xiaoqin Zeng , University of Texas at Dallas and Hohai University
pp. 272-274

A Visually-Specified Code Generator for Simulink/Stateflow (Abstract)

Gabor Karsai , Vanderbilt University
Feng Shi , Vanderbilt University
Sandeep Neema , Vanderbilt University
Attila Vizhanyo , Vanderbilt University
Zsolt Kalmar , Vanderbilt University
pp. 275-277

A Visual Language and Environment for Specifying Design Tool Event Handling (Abstract)

John Hosking , University of Auckland
John Grundy , University of Auckland
Na Liu , University of Auckland
pp. 278-280

A Trainable System for Recognizing Diagrammatic Sketch Languages (Abstract)

Vincenzo Deufemia , Universit? di Salerno
Michele Risi , Universit? di Salerno
Gennaro Costagliola , Universit? di Salerno
pp. 281-283

A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views (Abstract)

Esther Guerra , Universidad Carlos III Madrid
Paloma Díaz , Universidad Carlos III Madrid
Juan de Lara , Universidad Autónoma Madrid
pp. 284-286

An Experimental Study into the Default Reading of Constraint Diagrams (Abstract)

Judith Masthoff , University of Aberdeen
Andrew Fish , University of Brighton
pp. 287-289
Tech Note Session 2: Visualization, Animation, and End User Development

Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints (Abstract)

Noritaka Osawa , National Institute of Multimedia Education
pp. 293-295

A New Static Depiction and Input Technique for 2D Animation (Abstract)

Shin Takahashi , University of Tsukuba
Etsuya Shibayama , Tokyo Institute of Technology
Yoshikazu Kato , Tokyo Institute of Technology
pp. 296-298

EAVis: A Visualization Tool for Evolutionary Algorithms (Abstract)

Thomas Egger , Vienna University of Technology
Andreas Kerren , University of Kaiserslautern
pp. 299-301

Applying Eye-Movement Tracking to Program Visualization (Abstract)

Roman Bednarik , University of Joensuu
Markku Tukiainen , University of Joensuu
Niko Myller , University of Joensuu
Erkki Sutinen , University of Joensuu
pp. 302-304

Visualizing What People Are Doing on the Web (Abstract)

Steven P. Reiss , Brown University
Guy Eddon , Brown University
pp. 305-307

A Meta-Design Approach to End-User Development (Abstract)

Antonio Piccinno , Universit? di Bari
Daniela Fogli , Universit? di Brescia
Piero Mussio , Universit? di Milano
Maria Francesca Costabile , Universit? di Bari
pp. 308-310

Using Objects of Measurement to Detect Spreadsheet Errors (Abstract)

Andrew J. Ko , Carnegie Mellon University
Michael J. Coblenz , Carnegie Mellon University
Brad A. Myers , Carnegie Mellon University
pp. 314-316
Graduate Student Consortium

The Architecture of a Comprehensive Equation Browser for the Print Impaired (PDF)

Chris Bledsoe , University of South Florida
Paul Stanley , University of South Florida
Arthur I. Karshmer , University of South Florida
pp. 319-320

The Principle of Pattern-Oriented Curriculum and Its Implementation in a Computer Science Module for High School Students (PDF)

Dalit Levy , Technion - Israel Institute of Technology
Tamar Paz , Technion - Israel Institute of Technology
pp. 321-322

Template Parsing with User Feedback (PDF)

Robin Abraham , Oregon State University
pp. 323-324

Forms of Expression for Designing Visual Languages for Animation (PDF)

James A. Landay , University of Washington
Richard C. Davis , University of California at Berkeley
pp. 327-328

Gestural Musical Improvisation and Programming (PDF)

Peter Khooshabeh , University of California at Santa Barbara
John Thomspon , University of California at Santa Barbara
Ethan Smith , University of California at Santa Barbara
pp. 333-334

Can We Enhance Performance via Learning Theory? (PDF)

Cory Kissinger , Oregon State University
pp. 335-336

The Design of an Array Visualization (PDF)

Tyler Robison , University of Washington
pp. 345-346

Designing a Programming Terminology Aid (PDF)

Jeffrey Stylos , Carnegie Mellon University
pp. 347-348
Author Index

Author Index (PDF)

pp. 349-350
175 ms
(Ver 3.1 (10032016))