The Community for Technology Leaders
Proceedings of HCC 2001. IEEE Symposium on Human-Centric Computing Languages and Environments (2001)
Stresa, Italy
Sept. 5, 2001 to Sept. 7, 2001
ISBN: 0-7803-7198-4
TABLE OF CONTENTS

The immune system as a reactive system: modeling T cell activation with statecharts (PDF)

N. Kam , Dept. of Immunology, Weizmann Inst. of Sci., Rehovot, Israel
I.R. Cohen , Dept. of Immunology, Weizmann Inst. of Sci., Rehovot, Israel
pp. 15-22

Reasoning in higraphs with loose edges (PDF)

S. Anderson , Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
pp. 23-29

Shapely hierarchical graph transformation (PDF)

B. Hoffmann , Technologiezentrum Informatik, Bremen Univ., Germany
pp. 30-37

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

J.W. Janneck , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 40-47

On the pLR parsability of visual languages (PDF)

G. Costagliola , Dipt. di Matematica e Informatica, Univ. di Salerno, Baronissi, Italy
pp. 48-51

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

C. Gurr , Div. of Informatics, Edinburgh Univ., UK
pp. 60-61

On a uniform logical framework for diagrammatic reasoning (PDF)

P. Bottoni , Dipt. di Sci. dell' Informazione, Rome Univ., Italy
pp. 64-71

Towards a formalization of constraint diagrams (PDF)

J. Gil , Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 72-79

Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams (PDF)

J.H. Hausmann , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
R. Heckel , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
S. Sauer , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 80-87

A timed automata semantics for real-time UML specifications (PDF)

H. Toetenel , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
pp. 88-95

Extending MSC for reactive systems (PDF)

Gwang Sik Yoon , EECS Dept., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
Yong Rae Kwon , EECS Dept., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
pp. 104-111

A metamodel-based transformation between UML and Object-Z (PDF)

Soon-Kyeong Kim , Sch. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
D. Carrington , Sch. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
R. Duke , Sch. of Comput. Sci. & Electr. Eng., Queensland Univ., Brisbane, Qld., Australia
pp. 112-119

Visualizing graphical and textual formalisms (PDF)

R. Castello , Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA
pp. 120-123

Communicative dimensions of end-user environments (PDF)

C.D. Hundhausen , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 127-134

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

W. Hartmann , Dept. of Comput. Sci., Eidgenossische Tech. Hochschule, Zurich, Switzerland
J. Nievergelt , Dept. of Comput. Sci., Eidgenossische Tech. Hochschule, Zurich, Switzerland
R. Reichert , Dept. of Comput. Sci., Eidgenossische Tech. Hochschule, Zurich, Switzerland
pp. 135-141

AutoHAN: an architecture for programming the home (PDF)

A.F. Blackwell , Comput. Lab., Cambridge Univ., UK
R. Hague , Comput. Lab., Cambridge Univ., UK
pp. 150-157

How to teach a fish to swim [virtual fish tank] (PDF)

S. Farrell , IBM Almaden Res. Center, San Jose, CA, USA
pp. 158-164

Intellisheet: a spreadsheet system expanded by including constraint (PDF)

Y. Adachi , Dept. of Inf. & Comput. Sci., Toyo Univ., Saitama, Japan
pp. 173-179

End-user class definition in CAD systems (PDF)

G. Texier , Lab. d'Informatique Scientifique et Industrielle, ENSMA, Futuroscope Chasseneuil, France
pp. 180-187

HyperSnapping (PDF)

T. Masui , Sony Comput. Sci. Labs. Inc., Tokyo, Japan
pp. 188-194

FAR: an end-user language to support cottage e-services (PDF)

M. Burnett , Oregon State Univ., Corvallis, OR, USA
pp. 195-202

End-user programming in a structured dialogue environment: the GIPSE project (PDF)

G. Patry , Lab. d'Informatique Scientifique et Industrielle, ENSMA, Futuroscope Chasseneuil, France
pp. 212-219

Investigating the relationship between usability and conceptual gaps for human-centric CASE tools (PDF)

A. Seffah , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
J. Rilling , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 226-231

How children understand concurrent comics: experiences from LOFI and HIFI prototypes (PDF)

M. Kindborg , Dept. of Comput. Sci., Linkoping Univ., Sweden
pp. 232-233

End user programming in an industrial Research & Development group (PDF)

H. Goodell , Univ. of Massachusetts, Lowell, MA, USA
pp. 234-235

Computation scrapbooks of Emacs Lisp runtime state (PDF)

R. Potter , Japan Sci. & Technol. Corp., Tokyo, Japan
pp. 236-237

Visual languages for spatio-temporal applications (PDF)

R. Laurini , Claude Bernard Univ., Lyon, France
pp. 247

UML-based behavior specification of interactive multimedia applications (PDF)

S. Sauer , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
G. Engels , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 248-255

Multilevel modelling and design of visual interactive systems (PDF)

P. Bottoni , Dipt. di Sci. dell'Informazione, La Sapienza Univ., Rome, Italy
pp. 256-263

Processing UML models with visual scripts (PDF)

J. Peltonen , Software Syst. Lab., Tampere Univ. of Technol., Finland
pp. 264-271

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

R. Esser , Dept. of Comput. Sci., Adelaide Univ., SA, Australia
pp. 272-279

Visually testing recursive programs in spreadsheet languages (PDF)

M. Burnett , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 288-295

An algorithm for stereotype deduction in UML-based formalism and its application in geographic information systems (PDF)

F. Pinet , Lab. of Inf. Syst. Eng., Inst. Nat. des Sci. Appliquees de Lyon, Villeurbanne, France
pp. 296-303

A formal model for component-based software (PDF)

P.T. Cox , Dalhousie Univ., Halifax, NS, Canada
pp. 304-311

A visual approach to XML document design and transformation (PDF)

Kang Zhang , State Key Lab for Novel Software Technol., Nanjing Univ., China
pp. 312-319

A community-based Web browsing system (PDF)

D. Toyama , Graduate Sch. of Eng., Hiroshima Univ., Japan
pp. 320-327

Integrating document and workflow management systems (PDF)

L. Aversano , Fac. of Eng., Univ. of Sannio, Benevento, Italy
pp. 328-329

A visual language and environment for EDI message translation (PDF)

J. Grundy , Dept. of Comput. Sci., Auckland Univ., New Zealand
pp. 330-331

A visual language for design pattern modelling and instantiation (PDF)

D. Maplesden , Dept. of Comput. Sci., Auckland Univ., New Zealand
pp. 338-339

Visual debugging of multithreaded Java programs (PDF)

D. Jackson , Dept. of Comput. Sci., Liverpool Univ., UK
pp. 340-341

3D authoring for content experts: a collaborative approach (PDF)

F. Pittarello , Dipt. di Informatica, Universita Ca' Foscari di Venezia, Italy
pp. 344-345

Visual development environment based on component technique (PDF)

L. Martin , Dept. of Comput. Sci., Darmstadt Univ. of Technol., Germany
pp. 346-347

A dancing programmer in an immersive virtual environment (PDF)

N. Osawa , Nat. Inst. of Multimedia Educ., Japan
K. Asai , Nat. Inst. of Multimedia Educ., Japan
Y.Y. Sugimoto , Nat. Inst. of Multimedia Educ., Japan
pp. 348-349

A system for rapid prototyping of visual language environments (PDF)

F. Ferrucci , Dipt. di Matematica ed Informatica, Salerno Univ., Italy
pp. 382-389

Towards the conceptions of visualization language and visualization metaphor (PDF)

V.L. Averbukh , Inst. Math. Mech., Urals State Univ., Ekaterinburg, Russia
pp. 390-391

Visual hypermedia authoring (PDF)

G. Costagliola , Dipt. di Matematica a Informatica, Salerno Univ., Italy
pp. 392-393

ViCoLL - a visual compositional logic language (PDF)

A. Hakansson , Div. of Comput. Sci., Uppsala Univ., Sweden
pp. 394-395

Language development in a visual manner (PDF)

R. Krusec , Fac. of Electr. Eng. & Comput. Sci., Maribor Univ., Slovenia
M. Lenic , Fac. of Electr. Eng. & Comput. Sci., Maribor Univ., Slovenia
M. Mernik , Fac. of Electr. Eng. & Comput. Sci., Maribor Univ., Slovenia
V. Zumer , Fac. of Electr. Eng. & Comput. Sci., Maribor Univ., Slovenia
pp. 396-403

VXT: Visual XML Transformer (PDF)

E. Pietriga , Xerox Res. Centre Eur., Meylan, France
J.-Y. Vion-Dury , Xerox Res. Centre Eur., Meylan, France
pp. 404-405

Towards a theory of normalization for multimedia databases (PDF)

G. Polese , Dipt. di Matematica a Informatica, Salerno Univ., Italy
pp. 406-407

Author index (PDF)

pp. 412-413

Reviewers (PDF)

pp. 12

Foreword (PDF)

pp. 9
95 ms
(Ver 3.3 (11022016))