The Community for Technology Leaders
Human-Centric Computing Languages and Environments, IEEE CS International Symposium on (2001)
Stresa, Italy
Sept. 5, 2001 to Sept. 7, 2001
ISBN: 0-7695-0474-4
TABLE OF CONTENTS

Foreword (PDF)

pp. 9

Reviewers (PDF)

pp. 12
Statecharts, H-Graphs and Graph Transformations

The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts (Abstract)

David Harel , Weizmann Institute of Science, Rehovot, Israel
Irun R. Cohen , Weizmann Institute of Science, Rehovot, Israel
Na'aman Kam , Weizmann Institute of Science, Rehovot, Israel
pp. 15

Reasoning in Higraphs with Loose Edges (Abstract)

Stuart Anderson , University of Edinburgh
Konstantinos Tourlas , University of Edinburgh
John Power , University of Edinburgh
pp. 23
Specification of Visual Languages and Tools

A predicate-based approach to defining visual language syntax (Abstract)

J?rn W. Janneck , University of California at Berkeley
Robert Esser , Adelaide University
pp. 40

On the pLR Parsability of Visual Languages (PDF)

GENNARO COSTAGLIOLA , Universit? di Salerno
VINCENZO DEUFEMIA , Universit? di Salerno
FILOMENA FERRUCCI , Universit? di Salerno
CARMINE GRAVINO , Universit? di Salerno
pp. 48

The Ptolemy II Framework for Visual Languages (PDF)

Xiaojun Liu , University of California, Berkeley
Yuhong Xiong , University of California, Berkeley
Edward A. Lee , University of California, Berkeley
pp. 50
Language Visualization & Diagrammatic Reasoning

On a Uniform Logical Framework for Diagrammatic Reasoning (Abstract)

Francesco Parisi-Presicce , Universita? La Sapienza di Roma
Bernd Meyer , Monash University, Australia
Paolo Bottoni , Universita? La Sapienza di Roma
pp. 64

Towards a Formalization of Constraint Diagrams (Abstract)

John Howse , University of Brighton
Stuart Kent , University of Kent
Joseph (Yossi) Gil , Technion-IIT
pp. 72
Defining the Semantics of UML & Extending MSC

Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams (Abstract)

Jan Hendrik Hausmann , University of Paderborn
Reiko Heckel , University of Paderborn
Stefan Sauer , University of Paderborn
pp. 80

A Timed Automata Semantics for Real-Time UML Specifications (Abstract)

Ella Roubtsova , Eindhoven University
Jan van Katwijk , Delft University of Technology
Hans Toetenel , Delft University of Technology
pp. 88

Component Interface Description Using HyperMSCs and Connectors (Abstract)

Jens Grabowski , Med. Universit?t zu L?
Peter Graubmann , Siemens AG, M?nchen
Ekkart Rudolph , Technische Universit?t M?nchen
pp. 96
Combining UML and Formal Languages

A Metamodel-based transformation between UML and Object-Z (Abstract)

Soon-Kyeong Kim , The University of Queensland
Roger Duke , The University of Queensland
David Carrington , The University of Queensland
pp. 112

Visualizing Graphical and Textual Formalisms (PDF)

R. Castello , The University of Texas at Dallas
H. Madabushi , The University of Texas at Dallas
R. Mili , The University of Texas at Dallas
pp. 120

Integrating UML and OUN for Specification of Open Distributed Systems (PDF)

Einar B. Johnsen , University of Oslo, Norway
Olaf Owe , University of Oslo, Norway
Demissie B. Aredo , Institute for Energy Technology
Wenhui Zhang , Institute for Energy Technology
pp. 122
The User Experience in End-User Programming

Communicative Dimensions of End-User Environments (Abstract)

Christopher D. Hundhausen , University of Hawai'i
Sarah A. Douglas , University of Oregon
pp. 127

Bringing Robustness to End-User Programming (Abstract)

Patrick Girard , Laboratoire d?Informatique Scientifique et Industrielle, ENSMA
Micka?l Baron , Laboratoire d?Informatique Scientifique et Industrielle, ENSMA
pp. 142
End-User Programming in New Domains

AutoHAN: An Architecture for Programming the Home (Abstract)

Alan F. Blackwell , University of Cambridge
Rob Hague , University of Cambridge
pp. 150

How to Teach a Fish to Swim (Abstract)

Paul P. Maglio , IBM Almaden Research Center
Christopher S. Campbell , IBM Almaden Research Center
Stephen Farrell , IBM Almaden Research Center
pp. 158

Chinese Whispers. Semiotically Mediating Between Idea and Program (Abstract)

Frieder Nake , Informatik Universit?t Bremen
Matthias Krauss , Informatik Universit?t Bremen
Susanne Grabowski , Informatik Universit?t Bremen
pp. 165
Interaction Techniques for End-User Programming

End-User Class Definition in CAD Systems (Abstract)

Guillaume Texier , Laboratoire d ?Informatique Scientifique et Industrielle, ENSMA
Fabrice Depaulis , Laboratoire d ?Informatique Scientifique et Industrielle, ENSMA
Laurent Guittet , Laboratoire d ?Informatique Scientifique et Industrielle, ENSMA
pp. 180

HyperSnapping (Abstract)

Toshiyuki Masui , Sony Computer Science Laboratories, Inc.
pp. 188
End-User Programming in Applications

FAR: An End-User Language to Support Cottage E-Services (Abstract)

Rajeev Pandey , Hewlett-Packard
Sudheer Kumar Chekka , Oregon State University
Margaret Burnett , Oregon State University
pp. 195

A Visual Query System for the Specification and Scientific Analysis of Continual Queries (Abstract)

Meg Heimovics , University of Kansas
Tyler Palmer , University of Kansas
Allen Ambler , University of Kansas
Jennifer Leopold , University of Kansas
pp. 203

End-User Programming in a Structured Dialogue Environment: the GIPSE Project (Abstract)

Patrick Girard , Laboratoire d?Informatique Scientifique et Industrielle, ENSMA
Guillaume Patry , Laboratoire d?Informatique Scientifique et Industrielle, ENSMA
pp. 212
Panel on End-User Programming for Web Applications
Poster session

Computation Scrapbooks of Emacs Lisp Runtime State (PDF)

Richard Potter , Japan Science and Technology Corporation
pp. 236
Symposium on Visual/Multimedia Approaches to Programming and Software Engineering

Visual Languages for Spatio-temporal Applications (PDF)

Robert LAURINI , Claude Bernard University of Lyon / INSA
pp. 247
Modeling Languages I

UML-based Behavior Specification of Interactive Multimedia Applications (Abstract)

Stefan Sauer , University of Paderborn
Gregor Engels , University of Paderborn
pp. 248

Multilevel Modelling and Design of Visual Interactive Systems (Abstract)

S. Levialdi , Universit? "La Sapienza" di Roma, Italy; Universit? "La Sapienza" di Roma, Italy
P. Bottoni , Universit? "La Sapienza" di Roma, Italy
P. Mussio , Universit? di Brescia, Italy; Universit? "La Sapienza" di Roma, Italy
M.F. Costabile , Universit? di Bari, Italy; Universit? "La Sapienza" di Roma, Italy
D. Fogli , Universit? di Brescia, Italy; Universit? "La Sapienza" di Roma, Italy
pp. 256

Processing UML Models with Visual Scripts (Abstract)

Jari Peltonen , Tampere University of Technology
Petri Selonen , Tampere University of Technology
pp. 264

Moses - a tool suite for visual modeling of discrete-event systems (Abstract)

Robert Esser , Adelaide University
J?rn W. Janneck , University of California at Berkeley
pp. 272
Methodologies for Visual Languages

Visually Testing Recursive Programs in Spreadsheet Languages (Abstract)

Curtis Cook , Oregon State University
Bing Ren , Oregon State University
Margaret Burnett , Oregon State University
Andrew Ko , Oregon State University
Gregg Rothermel , Oregon State University
pp. 288
Modelling Languages II

A Formal Model for Component-Based Software (Abstract)

Baoming Song , Dalhousie University
Philip T Cox , Dalhousie University
pp. 304
Multimedia

A Visual Approach to XML Document Design and Transformation (Abstract)

Kang Zhang , Nanjing University; University of Texas at Dallas
Da-Qian Zhang , Coral Corporation
Yi Deng , University of Texas at Dallas
pp. 312

A Community-based Web Browsing System (Abstract)

Atsuo Yoshitaka , Hiroshima University
Masahito Hirakawa , Hiroshima University
Daisuke Toyama , Hiroshima University
Masumi Kakimoto , Hiroshima University
pp. 320
Visual/Multimedia Approaches and Software Engineering

Integrating Document and Workflow Management Systems (PDF)

Pierpaolo Gallucci , University of Sannio
Lerina Aversano , University of Sannio
Gerardo Canfora , University of Sannio
Andrea De Lucia , University of Sannio
pp. 328

A Visual Language and Environment for EDI Message Translation (PDF)

Rick Mugridge , University of Auckland
John Hosking , University of Auckland
Paul Kendall , Orion Systems Ltd
John Grundy , University of Auckland
pp. 330

Guiding Usability Evaluators During Hypermedia Inspection (PDF)

A. De Angeli , NCR FSG
M.F. Costabile , Universit? di Bari
M. Matera , Politecnico di Milano
pp. 332

Heuristics for Edge Drawing in a Graph-Based Visual Language (Abstract)

Bertrand Ibrahim , University of Geneva, Switzerland
Hidenori Yoshizumi , University of Geneva, Switzerland
Honitriniela Randriamparany , University of Geneva, Switzerland
pp. 334

A Visual Language for Design Pattern Modelling and Instantiation (PDF)

John Grundy , University of Auckland
David Maplesden , University of Auckland
John Hosking , University of Auckland
pp. 338

Visual Debugging of Multithreaded Java Programs (Abstract)

David Jackson , University of Liverpool
pp. 340

The Activity Tunnel - An Experiment for Improved Understanding of Program Behavior (Abstract)

Dieter Kranzlm? , Johannes Kepler University Linz
Jens Volkert , Johannes Kepler University Linz
Bernhard Reitinger , Johannes Kepler University Linz
pp. 342

3D Authoring for Content Experts: a Collaborative Approach (PDF)

Augusto Celentano , Universit? Ca' Foscari di Venezia
Fabio Pittarello , Universit? Ca' Foscari di Venezia
pp. 344

Visual Development Environment Based on Component Technique (PDF)

Ludger Martin , Darmstadt University of Technology
pp. 346

A Dancing Programmer in an Immersive Virtual Environment (PDF)

Fumihiko SAITO , Solidray Co. Ltd
Yuji Y. SUGIMOTO , National Institute of Multimedia Education
Noritaka OSAWA , National Institute of Multimedia Education
Kikuo ASAI , National Institute of Multimedia Education
pp. 348
Applications

A Visual System for the generation of Banking Legacy System Gateways (Abstract)

Gennaro Costagliola , Universit? di Salerno
Andrea Bianchi , Gruppo Net S.p.A. - Rome
Giuseppe Scanniello , Universit? di Salerno
Rita Francese , Universit? di Salerno
Pietro D?Ambrosio , Gruppo Net S.p.A. - Rome
pp. 350
Visualization

Selecting One from Many: The Development of a Scalable Visualization Tool (Abstract)

Kent Wittenburg , Verizon Laboratories
Robert Spence , Imperial College
Mark Apperley , The University of Waikato
pp. 366

Visualization/Animation of Programs based on Abstract Representations and Formal Mappings (Abstract)

Pedro Rangel Henriques , University of Minho - Portugal
Maria Joao Varanda Pereira , Polithecnic Institute of Bragan?a - Portugal
pp. 373
Visual/Multimedia Engineering

A System for Rapid Prototyping of Visual Language Environments (Abstract)

Maurizio Tucci , Universit? di Salerno
Filomena Ferrucci , Universit? di Salerno
Genny Tortora , Universit? di Salerno
Giuliana Vitiello , Universit? di Salerno
pp. 382

Visual Hypermedia Authoring (PDF)

Rita Francese , Universit? di Salerno
Gennaro Costagliola , Universit? di Salerno
Antonina Dattolo , Universit? di Napoli "Federico II"
pp. 392

ViCoLL - a Visual Compositional Logic Language (PDF)

Torsten Jonsson , Uppsala university
Anne H?kansson , Uppsala university
Lars Oestreicher , Uppsala university
Andreas Hamfelt , Uppsala university
pp. 394

Language Development in a Visual Manner (Abstract)

Marjan Mernik , University of Maribor
Viljem Zumer , University of Maribor
Mitja Lenic , University of Maribor
Robet Krusec , University of Maribor
pp. 396

VXT: Visual XML Transformer (PDF)

Jean-Yves Vion-Dury , Xerox Research Centre Europe
Emmanuel Pietriga , Xeron Research Centre Europe
pp. 404

Towards a Theory of Normalization for Multimedia Databases (PDF)

G. Polese , Universit? degli Studi di Salerno
S.K. Chang , University of Pittsburgh
pp. 406

Author's Index (PDF)

pp. 412
82 ms
(Ver 3.1 (10032016))