


default search action
VL/HCC 2005: Dallas, TX, USA
- 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA. IEEE Computer Society 2005, ISBN 0-7695-2443-5

Introduction
- Message from the General Chair.

- Message from the PC Chairs.

- Committees.

- Graduate Student Consortium.

Workshops
- Alan F. Blackwell:

Cognitive Dimensions of Notations. 3 - Holger Giese, Ingolf H. Krüger, Kendra M. L. Cooper:

Visual Modeling for Software Intensive Systems. 4
Tutorials
- Alexander Knapp, Harald Störrle:

Unified Modeling Language 2.0. 9 - Steven Kelly

:
Implementing Domain-Specific Modeling Languages and Generators. 10
Keynote Speeches
- Henry Fuchs:

Immersive Integration for Virtual and Human-Centered Environments. 13 - Allen Cypher:

A Stagecast Retrospective. 14 - Manohar Rao:

SysML with ARTiSAN Studio. 15
Paper Session 1: Domain Specific Visual Languages - 1
- Chul Hwee Kim, John G. Hosking

, John C. Grundy
:
A Suite of Visual Languages for Statistical Survey Specification. 19-26 - Dolev Dotan, Ron Y. Pinter:

HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis. 27-34
Paper Session 2: End-User Debugging and Testing
- Robin Abraham

, Martin Erwig
:
Goal-Directed Debugging of Spreadsheets. 37-44 - Amit Phalgune, Cory Kissinger, Margaret M. Burnett, Curtis R. Cook, Laura Beckwith, Joseph R. Ruthruff:

Garbage in, Garbage out? An Empirical Look at Oracle Mistakes by End-User Programmers. 45-52 - Joseph Lawrance, Steven Clarke, Margaret M. Burnett, Gregg Rothermel:

How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study. 53-60
Paper Session 3: Formal Foundations - 1
- Marc Lohmann, Stefan Sauer, Gregor Engels:

Executable Visual Contracts. 63-70 - Hartmut Ehrig, Karsten Ehrig, Ulrike Prange

, Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. 71-78 - Gergely Varró, Andy Schürr, Dániel Varró

:
Benchmarking for Graph Transformation. 79-88
Paper Session 4: New Modes of Programming
- Yoshiki Ohshima:

Kedama: A GUI-Based Interactive Massively Parallel Particle Programming System. 91-98 - Andrew Begel, Susan L. Graham:

Spoken Programs. 99-106
Paper Session 5: Visual Modeling Languages
- Sven Burmester, Holger Giese:

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. 109-116 - Tim Schattkowsky

, Wolfgang Müller:
Transformation of UML State Machines for Direct Execution. 117-124 - Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann:

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. 125-133
Paper Session 6: Interaction and User Interface Design
- Paolo Bottoni

, Stefano Levialdi:
Resource-Based Models of Visual Interaction: Understanding Errors. 137-144 - Emmanuel Pietriga

:
A Toolkit for Addressing HCI Issues in Visual Language Environments. 145-152 - Laura Beckwith, Shraddha Sorte, Margaret M. Burnett, Susan Wiedenbeck, Thippaya Chintakovid, Curtis R. Cook:

Designing Features for Both Genders in End-User Programming Environments. 153-160
Paper Session 7: Algorithm Visualization and Demonstration
- Christopher D. Hundhausen, Jonathan Lee Brown:

What You See Is What You Code: A Radically Dynamic Algorithm Visualization Development Model for Novice Learners. 163-170 - Catherine Plaisant, Ben Shneiderman:

Show Me! Guidelines for Producing Recorded Demonstrations. 171-178
Paper Session 8: Domain Specific Visual Languages - 2
- Alberto Martínez, Marta Patiño-Martínez

, Ricardo Jiménez-Peris, Francisco Perez-Sorrosal:
ZenFlow: A Visual Web Service Composition Tool for BPEL4WS. 181-188 - Robin Abraham

, Martin Erwig
, Steve Kollmansberger, Ethan Seifert:
Visual Specifications of Correct Spreadsheets. 189-196
Paper Session 9: Studies of End Users and Programmers
- Mary Beth Rosson, Julie F. Ballin, Jochen Rode:

Who, What, and How: A Survey of Informal and Professional Web Developers. 199-206 - Christopher Scaffidi, Mary Shaw, Brad A. Myers:

Estimating the Numbers of End Users and End User Programmers. 207-214 - Susan Wiedenbeck:

Facilitators and Inhibitors of End-User Development by Teachers in a School Environment. 215-222
Paper Session 10: Software Visualization and Program Comprehension
- Wanchun Li, Peter Eades, Seok-Hee Hong:

Navigating Software Architectures with Constant Visual Complexity. 225-232 - Brian A. Malloy, James F. Power

:
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. 233-240 - Robert DeLine, Mary Czerwinski, George G. Robertson:

Easing Program Comprehension by Sharing Navigation Data. 241-248
Paper Session 11: Formal Foundations - 2
- Vasco Amaral

, Sven Helmer
, Guido Moerkotte:
Formally Specifying the Syntax and Semantics of a Visual Query Language for the Domain of High Energy Physics Data Analysis. 251-258 - Benjamin E. Birnbaum, Kenneth J. Goldman:

Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar. 259-266
Tech Note Session 1: Design, Specification, and Implementation of VLs
- Takashi Ajiro, Kensei Tsuchida:

A Bit-Level Concurrent Visual Programming Language (A-BITS) and a Base Computation Model (APC) for Its Development. 269-271 - Xiaoqin Zeng, Kang Zhang, Jun Kong, Guang-Lei Song:

RGG+: An Enhancement to the Reserved Graph Grammar Formalism. 272-274 - Sandeep Neema

, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai:
A Visually-Specified Code Generator for Simulink/Stateflow. 275-277 - Na Liu, John G. Hosking

, John C. Grundy
:
A Visual Language and Environment for Specifying Design Tool Event Handling. 278-280 - Gennaro Costagliola

, Vincenzo Deufemia
, Michele Risi:
A Trainable System for Recognizing Diagrammatic Sketch Languages. 281-283 - Esther Guerra

, Paloma Díaz
, Juan de Lara
:
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. 284-286 - Andrew Fish

, Judith Masthoff
:
An Experimental Study into the Default Reading of Constraint Diagrams. 287-289
Tech Note Session 2: Visualization, Animation, and End User Development
- Noritaka Osawa:

Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints. 293-295 - Shin Takahashi, Yoshikazu Kato, Etsuya Shibayama

:
A New Static Depiction and Input Technique for 2D Animation. 296-298 - Andreas Kerren, Thomas Egger:

EAVis: A Visualization Tool for Evolutionary Algorithms. 299-301 - Roman Bednarik

, Niko Myller, Erkki Sutinen
, Markku Tukiainen:
Applying Eye-Movement Tracking to Program Visualization. 302-304 - Steven P. Reiss, Guy Eddon:

Visualizing What People Are Doing on the Web. 305-307 - Maria Francesca Costabile, Daniela Fogli, Piero Mussio, Antonio Piccinno

:
A Meta-Design Approach to End-User Development. 308-310 - Cesare Pautasso:

JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring. 311-313 - Michael J. Coblenz

, Amy J. Ko, Brad A. Myers:
Using Objects of Measurement to Detect Spreadsheet Errors. 314-316
Graduate Student Consortium
- Arthur I. Karshmer, Chris Bledsoe, Paul B. Stanley:

The Architecture of a Comprehensive Equation Browser for the Print Impaired. 319-320 - Dalit Levy, Tamar Paz:

The Principle of Pattern-Oriented Curriculum and Its Implementation in a Computer Science Module for High School Students. 321-322 - Robin Abraham:

Template Parsing with User Feedback. 323-324 - Thippaya Chintakovid:

Cultural Differences and End-User Computing. 325-326 - Richard C. Davis, James A. Landay:

Forms of Expression for Designing Visual Languages for Animation. 327-328 - Umer Farooq:

Conceptual and Technical Scaffolds for End User Development: Using Scenarios and Wikis in Community Computing. 329-330 - Joshua B. Gross:

Programming for Artists: A Visual Language for Expressive Lighting Design. 331-332 - Peter Khooshabeh, Ethan Smith, John Thomspon:

Gestural Musical Improvisation and Programming. 333-334 - Cory Kissinger:

Can We Enhance Performance via Learning Theory?. 335-336 - Alessio Malizia

:
Adding Flexibility to B2C Booking Systems Using a Virtual Intermediate Travel Agent. 337-338 - Christoph Neumann:

Assisting End-Users in Understanding and Programming Simulations. 339-340 - Tapan S. Parikh:

CAM: A Mobile Paper-Based Information Services Architecture for Remote Rural Areas in the Developing World. 341-342 - Scott M. Robertson:

Personal Assistive Device for Adults with Autism Spectrum Disorders. 343-344 - Tyler Robison:

The Design of an Array Visualization. 345-346 - Jeffrey Stylos:

Designing a Programming Terminology Aid. 347-348

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














