CSDL - Proceedings V

Conference Organization (PDF)

pp. x

Authors (PDF)

pp. xii

TUTORIAL II: Prograph CPX: Visual Programming Applied to Industrial Software Development (PDF)

Tuesday, September 5

TUTORIAL I: LabVIEW-Visual Programming Using Structured Dataflow (PDF)

pp. 1

Wednesday, September 6 (in parallel)

Philip Cox

pp. 2

TUTORIAL III: Fundamentals of Computer Visualization (PDF)

Gitta Kienegger-Domik

pp. 3

Wednesday, September 6

Keynote I: (PDF)

George Bosworth

pp. 4

The visual language of experts in graphic design (Abstract)

H. Lieberman, Media Lab., MIT, Cambridge, MA, USA

pp. 5

PDF

Programming agents with visual rules (Abstract)

R. Robinson, Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA

D. Cook, Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA

S. Tanimoto, Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA

pp. 13

PDF

A visual interface for querying a CASE repository (Abstract)

Hui Liu, Dept. of Comput. Sci. & Inf. Syst., Jyvaskyla Univ., Finland

pp. 21

PDF

PSH-The next generation of command line interfaces (Abstract)

H. Glaser

T.J. Smedley

pp. 29

PDF

Improving readability of iconic programs with multiple view object representation (Abstract)

Y. Koike, C&C Res. Labs., NEC Corp., Kawasaki, Japan

Y. Maeda, C&C Res. Labs., NEC Corp., Kawasaki, Japan

Y. Koseki, C&C Res. Labs., NEC Corp., Kawasaki, Japan

pp. 37

PDF

Formalising visual languages (Abstract)

P. Bottoni, Dipartimento Sci. dell'Inf., Rome Univ., Italy

M.F. Costabile, Dipartimento Sci. dell'Inf., Rome Univ., Italy

S. Levialdi, Dipartimento Sci. dell'Inf., Rome Univ., Italy

P. Mussio, Dipartimento Sci. dell'Inf., Rome Univ., Italy

pp. 45

PDF

Thursday, September 7

ViTABaL: a visual language supporting design by tool abstraction (Abstract)

J.C. Grundy, Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand

J.G. Hosking, Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand

pp. 53

PDF

Visual specification of branching time temporal logic (Abstract)

A. Del Bimbo, Dept. of Syst. & Inf., Florence Univ., Italy

L. Rella, Dept. of Syst. & Inf., Florence Univ., Italy

E. Vicario, Dept. of Syst. & Inf., Florence Univ., Italy

pp. 61

PDF

Automatic parallelization of the visual data-flow language Cantata for efficient characterization of analog circuit behavior (Abstract)

M. Goedecke, Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany

S.A. Huss, Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany

K. Morich, Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany

pp. 69

PDF

A high-level visual language for the graphical description of digital circuits (Abstract)

T.J. Smedley, Sch. of Comput. Sci., Tech. Univ. Nova Scotia, Halifax, NS, Canada

pp. 77

PDF

Invocation polymorphism (Abstract)

Guijun Wang, Dept. of Electr. Eng. & Comput. Sci., Kansas Univ., Lawrence, KS, USA

A. Ambler, Dept. of Electr. Eng. & Comput. Sci., Kansas Univ., Lawrence, KS, USA

pp. 83

PDF

A bottom-up approach for visualizing program behavior (Abstract)

H. Koike, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan

M. Aida, Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan

pp. 91

PDF

The applicability of the visual programming language LabVIEW to large real-world applications (Abstract)

R. Jamal, Dept. of Applications Eng., Nat. Instrum. Germany GmbH, Munchen, Germany

L. Wenzel, Dept. of Applications Eng., Nat. Instrum. Germany GmbH, Munchen, Germany

pp. 99

PDF

HI-VISUAL as a user-customizable visual programming environment (Abstract)

E. Miller, Fac. of Eng., Hiroshima Univ., Japan

M. Kado, Fac. of Eng., Hiroshima Univ., Japan

M. Hirakawa, Fac. of Eng., Hiroshima Univ., Japan

T. Ichikawa, Fac. of Eng., Hiroshima Univ., Japan

pp. 107

PDF

Posters

Visualization of Strand processes (Abstract)

D. Fahrenholtz, Dept. of Comput. Sci., Hamburg Univ., Germany

V. Haarslev, Dept. of Comput. Sci., Hamburg Univ., Germany

pp. 114

PDF

Constraint-based layout in visual program design (Abstract)

W.H. Graf, German Res. Center for Artificial Intelligence, Saarbrucken, Germany

S. Neurohr, German Res. Center for Artificial Intelligence, Saarbrucken, Germany

pp. 116

PDF

A visual environment for constraint programming (Abstract)

M. Paltrinieri, Dept. de Math. et d'Inf., Ecole Normale Superieure, Paris, France

pp. 118

PDF

A declarative programming environment based on constraints (Abstract)

T. Kunstmann, Tech. Hochschule Darmstadt, Germany

M. Frisch, Tech. Hochschule Darmstadt, Germany

R. Muller, Tech. Hochschule Darmstadt, Germany

pp. 120

PDF

Progressive HTTP-based querying of remote databases within the Marmotta iconic VQS (Abstract)

F. Capobianco, Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy

M. Mosconi, Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy

L. Pagnin, Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy

pp. 122

PDF

Integrating algorithm animation into a declarative visual programming language (Abstract)

P. Carlson, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA

M.M. Burnett, Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA

pp. 126

PDF

Visual programming of fault-tolerant distributed applications (Abstract)

B. Muganga, Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland

F. Pacull, Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland

K.R. Mazouni, Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland

A.-D. Wolff, Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland

pp. 128

PDF

Visual programming for animation in user interfaces (Abstract)

D. Vodislav, Conservatoire Nat. des Arts et Metiers, Paris, France

pp. 131

PDF

(In parallel)

Ludwig/sub 2/: decoupling program representations from processing models (Abstract)

J.J. Pfeiffer Jr., Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA

pp. 133

PDF

A framework of a visual language with dynamic specification (Abstract)

J. Miyao, Fac. of Integrated Arts & Sci., Hiroshima Univ., Japan

Shi-Kuo Chang, Fac. of Integrated Arts & Sci., Hiroshima Univ., Japan

pp. 140

PDF

Transforming SDL diagrams into a complete visual representation (Abstract)

G. Lehrenfeld, Heinz Nixdorf Inst., Paderborn, Germany

W. Mueller, Heinz Nixdorf Inst., Paderborn, Germany

C. Tahedl, Heinz Nixdorf Inst., Paderborn, Germany

pp. 148

PDF

Formal semantics of visual languages using spatial reasoning (Abstract)

V. Haarslev, Dept. of Comput. Sci., Hamburg Univ., Germany

pp. 156

PDF

Creating database queries by demonstration (Abstract)

A. Sugiura, C&C Res. Labs., NEC Corp., Kawasaki, Japan

Y. Koseki, C&C Res. Labs., NEC Corp., Kawasaki, Japan

pp. 164

PDF

LEGOsheets: a rule-based programming, simulation and manipulation environment for the LEGO Programmable Brick (Abstract)

J. Gindling, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

A. Ioannidou, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

J. Loh, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

O. Lokkebo, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

A. Repenning, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

pp. 172

PDF

Object-oriented dataflow (Abstract)

T.D. Kimura, Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA

pp. 180

PDF

Buffering of intermediate results in dataflow diagrams (Abstract)

A. Woodruff, Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA

M. Stonebraker, Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA

pp. 187

PDF

Friday, September 6

A graph grammar approach to graphical parsing (Abstract)

J. Rekers, Dept. of Comput. Sci., Leiden Univ., Netherlands

A. Schurr, Dept. of Comput. Sci., Leiden Univ., Netherlands

pp. 195

PDF

DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams (Abstract)

M. Minas, Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany

G. Viehstaedt, Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany

pp. 203

PDF

The use of semantic constraints on diagram editors (Abstract)

J.A. Serrano, Dept. of Comput. Sci., Glasgow Univ., UK

pp. 211

PDF

Navigation and visualization of movies content (Abstract)

J.M. Corridoni, Dept. of Syst. & Inf., Florence Univ., Italy

A. Del Bimbo, Dept. of Syst. & Inf., Florence Univ., Italy

D. Lucarella, Dept. of Syst. & Inf., Florence Univ., Italy

pp. 217

PDF

Bending the rules: steps toward semantically enriched graphical rewrite rules (Abstract)

A. Repenning, Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA

pp. 226

PDF

Towards a visual programming environment generator for algebraic specifications (Abstract)

S.M. Uskudarli, Programming Res. Group, Amsterdam Univ., Netherlands

T.B. Dinesh, Programming Res. Group, Amsterdam Univ., Netherlands

pp. 234

PDF

Automatic construction of user interfaces from constraint multiset grammars (Abstract)

Sitt Sen Chok, Monash Univ., Clayton, Vic., Australia

K. Marriott, Monash Univ., Clayton, Vic., Australia

pp. 242

PDF

Online parsing of visual languages using adjacency grammars (Abstract)

J.A.P. Jorge, INESC, Lisbon, Portugal

E.P. Glinert, INESC, Lisbon, Portugal

pp. 250

PDF

Adaptive recognition of implicit structures in human-organized layouts (Abstract)

pp. 258

PDF

Visual AWK: a model for text processing by demonstration (Abstract)

J. Landauer, Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany

M. Hirakawa, Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany

pp. 267

PDF

Programming by example in computing-as-editing paradigm (Abstract)

M. Hagiya, Dept. of Inf. Sci., Tokyo Univ., Japan

T. Shiratori, Dept. of Inf. Sci., Tokyo Univ., Japan

pp. 275

PDF

Display-based problems in spreadsheets: a critical incident and a design remedy (Abstract)

D.G. Hendry, Sch. of Comput. & Math. Sci., Robert Gordon Univ., Aberdeen, UK

pp. 284

PDF

KEYNOTE II: Word and Image in the Book in Medieval and Early Renaissance Times (Abstract)

Eva Hanebutt-Benz

pp. 291

PDF

Saturday, September 9

KEYNOTE III: Pictures that Show Us the Way: Geographic Information Systems and Visual Languages (Abstract)

Werner Kuhn

pp. 292

PDF

Programming with visual expressions (Abstract)

W. Citrin, Dept. of Electr. & Comput. Eng./Comput. Sci., Colorado Univ., Boulder, CO, USA

R. Hall, Dept. of Electr. & Comput. Eng./Comput. Sci., Colorado Univ., Boulder, CO, USA

B. Zorn, Dept. of Electr. & Comput. Eng./Comput. Sci., Colorado Univ., Boulder, CO, USA

pp. 294

PDF

In search of a simple visual vocabulary (Abstract)

E. Freeman, Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA

D. Gelernter, Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA

S. Jagannathan, Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA

pp. 302

PDF

A visual programming environment for distributed systems (Abstract)

Da-Qian Zhang, Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia

Kang Zhang, Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia

pp. 310

PDF

Heterogeneous visual languages-integrating visual and textual programming (Abstract)

M. Erwig, Fern Univ., Hagen, Germany

B. Meyer, Fern Univ., Hagen, Germany

pp. 318

PDF

Visual programming with graph rewriting systems (Abstract)

A. Schurr, Tech. Hochschule Aachen, Germany

A. Winter, Tech. Hochschule Aachen, Germany

A. Zundorf, Tech. Hochschule Aachen, Germany

pp. 326

PDF

The design of Anthropocentric Cooperative Visual Environments (Abstract)

P. Bottoni, Dipartimento Sci. dell'Inf., Rome Univ., Italy

M. Mariotto, Dipartimento Sci. dell'Inf., Rome Univ., Italy

P. Mussio, Dipartimento Sci. dell'Inf., Rome Univ., Italy

G. Biella, Dipartimento Sci. dell'Inf., Rome Univ., Italy

pp. 334

PDF

Toward empirically-based software visualization languages (Abstract)

S. Douglas, Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

C. Hundhausen, Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

D. McKeown, Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

pp. 342

PDF

Index of Authors (PDF)

pp. 351