CSDL - Proceedings H

Conference Committee (PDF)

pp. 10

Reviewers (PDF)

pp. 12

Statecharts, H-Graphs and Graph Transformations

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

Na'aman Kam, Weizmann Institute of Science, Rehovot, Israel

Irun R. Cohen, Weizmann Institute of Science, Rehovot, Israel

David Harel, Weizmann Institute of Science, Rehovot, Israel

pp. 15

PDF

Reasoning in Higraphs with Loose Edges (Abstract)

Stuart Anderson, University of Edinburgh

John Power, University of Edinburgh

Konstantinos Tourlas, University of Edinburgh

pp. 23

PDF

Shapely Hierarchical Graph Transformation (Abstract)

Berthold Hoffmann, Universit?t Bremen

pp. 30

PDF

Towards a Compositional Approach to Define Graphical Animation of Software Applications (PDF)

Roswitha Bardohl, TU-Berlin, Germany

Leila Ribeiro, UFRGS, Porto Alegre, Brazil

pp. 38

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

PDF

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

A Formal Study of a Visual Language for the Visualization of Document Type Definition (Abstract)

Jean-Yves Vion-Dury, Xerox Research Centre Europe

Emmanuel Pietriga, Xerox Research Centre Europe

pp. 52

PDF

Aligning syntax and semantics in formalisations of visual languages (PDF)

Corin Gurr, University of Edinburgh

pp. 60

Visual Representation of Algebraic Specifications: a User-Oriented Approach (PDF)

Duncan S. Neary, University of Liverpool

Martin R. Woodward, University of Liverpool

pp. 62

On a Uniform Logical Framework for Diagrammatic Reasoning (Abstract)

Paolo Bottoni, Universita? La Sapienza di Roma

Bernd Meyer, Monash University, Australia

Francesco Parisi-Presicce, Universita? La Sapienza di Roma

pp. 64

PDF

Towards a Formalization of Constraint Diagrams (Abstract)

Joseph (Yossi) Gil, Technion-IIT

John Howse, University of Brighton

Stuart Kent, University of Kent

pp. 72

PDF

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

PDF

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

Hans Toetenel, Delft University of Technology

Ella Roubtsova, Eindhoven University

Jan van Katwijk, Delft University of Technology

pp. 88

PDF

Component Interface Description Using HyperMSCs and Connectors (Abstract)

Peter Graubmann, Siemens AG, M?nchen

Ekkart Rudolph, Technische Universit?t M?nchen

Jens Grabowski, Med. Universit?t zu L?

pp. 96

PDF

Extending MSC for Reactive Systems (Abstract)

Gwang Sik Yoon, KAIST

Yong Rae Kwon, KAIST

pp. 104

PDF

Combining UML and Formal Languages

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

Soon-Kyeong Kim, The University of Queensland

David Carrington, The University of Queensland

Roger Duke, The University of Queensland

pp. 112

PDF

Visualizing Graphical and Textual Formalisms (PDF)

R. Castello, The University of Texas at Dallas

R. Mili, The University of Texas at Dallas

H. Madabushi, The University of Texas at Dallas

pp. 120

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

Wenhui Zhang, Institute for Energy Technology

Olaf Owe, University of Oslo, Norway

Einar B. Johnsen, University of Oslo, Norway

Demissie B. Aredo, 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

PDF

Kara, finite state machines, and the case for programming as part of general education (Abstract)

W. Hartmann, ETH Z?

J. Nievergelt, ETH Z?

R. Reichert, ETH Z?

pp. 135

PDF

Bringing Robustness to End-User Programming (Abstract)

Micka?l Baron, Laboratoire d?Informatique Scientifique et Industrielle, ENSMA

Patrick Girard, Laboratoire d?Informatique Scientifique et Industrielle, ENSMA

pp. 142

PDF

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

PDF

How to Teach a Fish to Swim (Abstract)

Stephen Farrell, IBM Almaden Research Center

Paul P. Maglio, IBM Almaden Research Center

Christopher S. Campbell, IBM Almaden Research Center

pp. 158

PDF

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

Matthias Krauss, Informatik Universit?t Bremen

Frieder Nake, Informatik Universit?t Bremen

Susanne Grabowski, Informatik Universit?t Bremen

pp. 165

PDF

Interaction Techniques for End-User Programming

Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers (Abstract)

Yoshihiro Adachi, Toyo University

pp. 173

PDF

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

PDF

HyperSnapping (Abstract)

Toshiyuki Masui, Sony Computer Science Laboratories, Inc.

pp. 188

PDF

End-User Programming in Applications

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

Margaret Burnett, Oregon State University

Sudheer Kumar Chekka, Oregon State University

Rajeev Pandey, Hewlett-Packard

pp. 195

PDF

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

Jennifer Leopold, University of Kansas

Allen Ambler, University of Kansas

Meg Heimovics, University of Kansas

Tyler Palmer, University of Kansas

pp. 203

PDF

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

Guillaume Patry, Laboratoire d?Informatique Scientifique et Industrielle, ENSMA

Patrick Girard, Laboratoire d?Informatique Scientifique et Industrielle, ENSMA

pp. 212

PDF

Panel on End-User Programming for Web Applications

The World Wide Train Wreck: Is there light at the end of the tunnel? (Abstract)

Christoper Fry, Glueworks

pp. 220

PDF

Investigating the Relationship between Usability and Conceptual Gaps for Human-Centric CASE Tools (Abstract)

A. Seffah, Concordia University

J. Rilling, Concordia University

pp. 226

PDF

How Children Understand Concurrent Comics: Experiences from LOFI and HIFI Prototypes (PDF)

Poster session

Mikael Kindborg, Link?ping University, Sweden

pp. 232

End User Programming in an Industrial Research & Development Group (PDF)

Howie Goodell, Univ. Massachusetts at Lowell

pp. 234

Computation Scrapbooks of Emacs Lisp Runtime State (PDF)

Richard Potter, Japan Science and Technology Corporation

pp. 236

Programming at the End of the Learning Curve: Lisp Scripting for Image Processing (PDF)

Steven L. Tanimoto, University of Washington

Jeremy W. Baer, University of Washington

pp. 238

Symposium on Visual/Multimedia Approaches to Programming and Software Engineering

New Paradigm for Developing Software for E-Business (Abstract)

Professor Athula Ginige, University of Western Sydney

pp. 243

PDF

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

PDF

Multilevel Modelling and Design of Visual Interactive Systems (Abstract)

P. Bottoni, 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

S. Levialdi, Universit? "La Sapienza" di Roma, Italy; Universit? "La Sapienza" di Roma, Italy

P. Mussio, Universit? di Brescia, Italy; Universit? "La Sapienza" di Roma, Italy

pp. 256

PDF

Processing UML Models with Visual Scripts (Abstract)

Jari Peltonen, Tampere University of Technology

Petri Selonen, Tampere University of Technology

pp. 264

PDF

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

PDF

Methodologies for Visual Languages

A Testing Methodology for a Dataflow Based Visual Programming Language (Abstract)

Marcel R. Karam, Dalhousie University

Trevor J. Smedley, Dalhousie University

pp. 280

PDF

Visually Testing Recursive Programs in Spreadsheet Languages (Abstract)

Margaret Burnett, Oregon State University

Bing Ren, Oregon State University

Andrew Ko, Oregon State University

Curtis Cook, Oregon State University

Gregg Rothermel, Oregon State University

pp. 288

PDF

Modelling Languages II

An Algorithm for Stereotype Deduction in UML-Based Formalism and its Application in Geographic Information Systems (Abstract)

Fran?ois Pinet, INSA Lyon

Ahmed Lbath, INSA Lyon

pp. 296

PDF

A Formal Model for Component-Based Software (Abstract)

Philip T Cox, Dalhousie University

Baoming Song, Dalhousie University

pp. 304

PDF

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

PDF

A Community-based Web Browsing System (Abstract)

Daisuke Toyama, Hiroshima University

Masumi Kakimoto, Hiroshima University

Atsuo Yoshitaka, Hiroshima University

Masahito Hirakawa, Hiroshima University

pp. 320

PDF

Visual/Multimedia Approaches and Software Engineering

Integrating Document and Workflow Management Systems (PDF)

Lerina Aversano, University of Sannio

Gerardo Canfora, University of Sannio

Andrea De Lucia, University of Sannio

Pierpaolo Gallucci, University of Sannio

pp. 328

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

John Grundy, University of Auckland

Rick Mugridge, University of Auckland

John Hosking, University of Auckland

Paul Kendall, Orion Systems Ltd

pp. 330

Guiding Usability Evaluators During Hypermedia Inspection (PDF)

M.F. Costabile, Universit? di Bari

A. De Angeli, NCR FSG

M. Matera, Politecnico di Milano

pp. 332

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

Bertrand Ibrahim, University of Geneva, Switzerland

Honitriniela Randriamparany, University of Geneva, Switzerland

Hidenori Yoshizumi, University of Geneva, Switzerland

pp. 334

PDF

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

David Maplesden, University of Auckland

John Hosking, University of Auckland

John Grundy, University of Auckland

pp. 338

Visual Debugging of Multithreaded Java Programs (Abstract)

David Jackson, University of Liverpool

pp. 340

PDF

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

Dieter Kranzlm?, Johannes Kepler University Linz

Bernhard Reitinger, Johannes Kepler University Linz

Jens Volkert, Johannes Kepler University Linz

pp. 342

PDF

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

Fabio Pittarello, Universit? Ca' Foscari di Venezia

Augusto Celentano, 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)

Noritaka OSAWA, National Institute of Multimedia Education

Kikuo ASAI, National Institute of Multimedia Education

Yuji Y. SUGIMOTO, National Institute of Multimedia Education

Fumihiko SAITO, Solidray Co. Ltd

pp. 348

Applications

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

Andrea Bianchi, Gruppo Net S.p.A. - Rome

Gennaro Costagliola, Universit? di Salerno

Pietro D?Ambrosio, Gruppo Net S.p.A. - Rome

Rita Francese, Universit? di Salerno

Giuseppe Scanniello, Universit? di Salerno

pp. 350

PDF

Visualizing Impacts of Database Schema Changes - A Controlled Experiment (Abstract)

Amela Karahasanovic, University of Oslo

Dag I.K. Sj?berg, Simula Research Laboratory

pp. 358

PDF

Visualization

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

Mark Apperley, The University of Waikato

Robert Spence, Imperial College

Kent Wittenburg, Verizon Laboratories

pp. 366

PDF

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

Maria Joao Varanda Pereira, Polithecnic Institute of Bragan?a - Portugal

Pedro Rangel Henriques, University of Minho - Portugal

pp. 373

PDF

Visual/Multimedia Engineering

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

Filomena Ferrucci, Universit? di Salerno

Genny Tortora, Universit? di Salerno

Maurizio Tucci, Universit? di Salerno

Giuliana Vitiello, Universit? di Salerno

pp. 382

PDF

Toward the Conceptions of Visualization Language and Visualization Metaphor (PDF)

Vladimir L. Averbukh, Inst. Math. Mech. & Urals State University

pp. 390

Visual Hypermedia Authoring (PDF)

Gennaro Costagliola, Universit? di Salerno

Antonina Dattolo, Universit? di Napoli "Federico II"

Rita Francese, Universit? di Salerno

pp. 392

ViCoLL - a Visual Compositional Logic Language (PDF)

Anne H?kansson, Uppsala university

Lars Oestreicher, Uppsala university

Torsten Jonsson, Uppsala university

Andreas Hamfelt, Uppsala university

pp. 394

Language Development in a Visual Manner (Abstract)

Robet Krusec, University of Maribor

Mitja Lenic, University of Maribor

Marjan Mernik, University of Maribor

Viljem Zumer, University of Maribor

pp. 396

PDF

VXT: Visual XML Transformer (PDF)

Emmanuel Pietriga, Xeron Research Centre Europe

Jean-Yves Vion-Dury, Xerox 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