The Community for Technology Leaders
Visual Languages, IEEE Symposium on (1995)
Darmstadt, Germany
Sept. 5, 1995 to Sept. 9, 1995
ISSN: 1049-2615
ISBN: 0-8186-7045-2
TABLE OF CONTENTS

Authors (PDF)

pp. xii
Tuesday, September 5
Wednesday, September 6 (in parallel)
Wednesday, September 6

The visual language of experts in graphic design (Abstract)

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

Programming agents with visual rules (Abstract)

R. Robinson , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
S. Tanimoto , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
D. Cook , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 13

A visual interface for querying a CASE repository (Abstract)

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

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

Formalising visual languages (Abstract)

P. Bottoni , Dipartimento Sci. dell'Inf., Rome Univ., Italy
M.F. Costabile , Dipartimento Sci. dell'Inf., Rome Univ., Italy
P. Mussio , Dipartimento Sci. dell'Inf., Rome Univ., Italy
S. Levialdi , Dipartimento Sci. dell'Inf., Rome Univ., Italy
pp. 45
Thursday, September 7

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

J.G. Hosking , Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
J.C. Grundy , Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
pp. 53

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

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

S.A. Huss , Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany
M. Goedecke , Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany
K. Morich , Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Germany
pp. 69

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

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

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

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

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

T. Ichikawa , Fac. of Eng., Hiroshima Univ., Japan
M. Hirakawa , Fac. of Eng., Hiroshima Univ., Japan
M. Kado , Fac. of Eng., Hiroshima Univ., Japan
E. Miller , Fac. of Eng., Hiroshima Univ., Japan
pp. 107
Posters

Visualization of Strand processes (Abstract)

V. Haarslev , Dept. of Comput. Sci., Hamburg Univ., Germany
D. Fahrenholtz , Dept. of Comput. Sci., Hamburg Univ., Germany
pp. 114

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

A visual environment for constraint programming (Abstract)

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

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

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

L. Pagnin , Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy
F. Capobianco , Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy
M. Mosconi , Dipartimento di Inf. e Sistemistica, Pavia Univ., Italy
pp. 122

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

Visual programming of fault-tolerant distributed applications (Abstract)

A.-D. Wolff , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
B. Muganga , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
K.R. Mazouni , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
F. Pacull , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 128

Visual programming for animation in user interfaces (Abstract)

D. Vodislav , Conservatoire Nat. des Arts et Metiers, Paris, France
pp. 131
(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

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

Shi-Kuo Chang , Fac. of Integrated Arts & Sci., Hiroshima Univ., Japan
J. Miyao , Fac. of Integrated Arts & Sci., Hiroshima Univ., Japan
pp. 140

Transforming SDL diagrams into a complete visual representation (Abstract)

W. Mueller , Heinz Nixdorf Inst., Paderborn, Germany
C. Tahedl , Heinz Nixdorf Inst., Paderborn, Germany
G. Lehrenfeld , Heinz Nixdorf Inst., Paderborn, Germany
pp. 148

Formal semantics of visual languages using spatial reasoning (Abstract)

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

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

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

O. Lokkebo , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
J. Gindling , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
A. Repenning , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
J. Loh , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
A. Ioannidou , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 172

Object-oriented dataflow (Abstract)

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

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
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

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

G. Viehstaedt , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
M. Minas , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
pp. 203

The use of semantic constraints on diagram editors (Abstract)

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

Navigation and visualization of movies content (Abstract)

D. Lucarella , Dept. of Syst. & Inf., Florence Univ., Italy
J.M. Corridoni , Dept. of Syst. & Inf., Florence Univ., Italy
A. Del Bimbo , Dept. of Syst. & Inf., Florence Univ., Italy
pp. 217
(In parallel)

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

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

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

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

Online parsing of visual languages using adjacency grammars (Abstract)

J.A.P. Jorge , INESC, Lisbon, Portugal
E.P. Glinert , INESC, Lisbon, Portugal
pp. 250

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

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

T. Shiratori , Dept. of Inf. Sci., Tokyo Univ., Japan
M. Hagiya , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 275

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
Saturday, September 9

Programming with visual expressions (Abstract)

B. Zorn , 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
W. Citrin , Dept. of Electr. & Comput. Eng./Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 294

In search of a simple visual vocabulary (Abstract)

S. Jagannathan , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
E. Freeman , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
D. Gelernter , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
pp. 302

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

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

B. Meyer , Fern Univ., Hagen, Germany
M. Erwig , Fern Univ., Hagen, Germany
pp. 318

Visual programming with graph rewriting systems (Abstract)

A. Winter , Tech. Hochschule Aachen, Germany
A. Zundorf , Tech. Hochschule Aachen, Germany
A. Schurr , Tech. Hochschule Aachen, Germany
pp. 326

The design of Anthropocentric Cooperative Visual Environments (Abstract)

G. Biella , Dipartimento Sci. dell'Inf., Rome Univ., Italy
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
pp. 334

Toward empirically-based software visualization languages (Abstract)

D. McKeown , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
S. Douglas , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
C. Hundhausen , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
pp. 342

Index of Authors (PDF)

pp. 351
89 ms
(Ver 3.1 (10032016))