HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments

Publisher
IEEE Computer Society
Website
Year
2001
Period
September 5-7
Place
Stresa, Italy
ISBN
Series
VL-HCC - Symposium on Visual Languages and Human Centric Computing
DOI
Volume
Copyright info

Description

The VL/HCC conference is the premier international forum for researchers and industrial practitioners to discuss the theory, applications and evaluation of technologies, visual and otherwise, that enhance the role of humans in the computing process. The conference was established in 1984 and aims to support the design, formalization, implementation, and evaluation of computing languages that are easier to learn, easier to use, and easier to understand by a broader group of people.

All years

Articles

Yoon, Gwang Sik, Kwon, Yong Rae (2001): Extending MSC for Reactive Systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 104-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740104abs.htm

Kim, Soon-Kyeong, Carrington, David A., Duke, Roger (2001): A Metamodel-based transformation between UML and Object-Z. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 112-119. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740112abs.htm

Castelló, Rodolfo, Mili, Rym, Madabushi, H. (2001): Visualizing Graphical and Textual Formalisms. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 120-121. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740120abs.htm

Zhang, Wenhui, Owe, Olaf, Johnsen, Einar Broch, Aredo, Demissie B. (2001): Integrating UML and OUN for Specification of Open Distributed Systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 122-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740122abs.htm

Hundhausen, Christopher D., Douglas, Sarah A. (2001): Communicative Dimensions of End-User Environments. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 127-134. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740127abs.htm

Hartmann, Werner, Nievergelt, Jürg, Reichert, Raimond (2001): Kara, finite state machines, and the case for programming as part of general education. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 135-141. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740135abs.htm

Baron, Mickael, Girard, Patrick (2001): Bringing Robustness to End-User Programming. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 142-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740142abs.htm

Kam, Na\'aman, Cohen, Irun R., Harel, David (2001): The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 15-22. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740015abs.htm

Blackwell, Alan, Hague, Rob (2001): AutoHAN: An Architecture for Programming the Home. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 150-157. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740150abs.htm

Farrell, Stephen, Maglio, Paul P., Campbell, Christopher S. (2001): How to Teach a Fish to Swim. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 158-164. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740158abs.htm

Krauss, Matthias, Nake, Frieder, Grabowski, Susanne (2001): Chinese Whispers. Semiotically Mediating Between Idea and Program. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 165-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740165abs.htm

Adachi, Yoshihiro (2001): Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 173-179. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740173abs.htm

Texier, Guillaume, Depaulis, Fabrice, Guittet, Laurent (2001): End-User Class Definition in CAD Systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 180-187. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740180abs.htm

Masui, Toshiyuki (2001): HyperSnapping. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 188-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740188abs.htm

Burnett, Margaret M., Chekka, Sudheer Kumar, Pandey, Rajeev K. (2001): FAR: An End-User Language to Support Cottage E-Services. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 195-202. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740195abs.htm

Leopold, Jennifer L., Ambler, Allen L., Heimovics, Meg, Palmer, Tyler (2001): A Visual Query System for the Specification and Scientific Analysis of Continual Queries. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 203-211. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740203abs.htm

Patry, Guillaume, Girard, Patrick (2001): End-User Programming in a Structured Dialogue Environment: the GIPSE Project. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 212-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740212abs.htm

Fry, Christopher (2001): The World Wide Train Wreck: Is there light at the end of the tunnel?. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 220-225. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740220abs.htm

Seffah, Ahmed, Rilling, Juergen (2001): Investigating the Relationship between Usability and Conceptual Gaps for Human-Centric CAS. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 226-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740226abs.htm

Anderson, Stuart, Power, John, Tourlas, Konstantinos (2001): Reasoning in Higraphs with Loose Edges. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 23-29. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740023abs.htm

Kindborg, Mikael (2001): How Children Understand Concurrent Comics: Experiences from LOFI and HIFI Prototypes. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 232-233. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740232abs.htm

Goodell, Howie (2001): End User Programming in an Industrial Research & Development Group. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 234-235. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740234abs.htm

Potter, Richard (2001): Computation Scrapbooks of Emacs Lisp Runtime State. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 236-237. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740236abs.htm

Tanimoto, Steven L., Baer, Jeremy W. (2001): Programming at the End of the Learning Curve: Lisp Scripting for Image Processing. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 238-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740238abs.htm

Ginige, Athula (2001): New Paradigm for Developing Software for E-Business. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 243-246. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740243abs.htm

Laurini, Robert (2001): Visual Languages for Spatio-temporal Applications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 247. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740247abs.htm

Sauer, Stefan, Engels, Gregor (2001): UML-based Behavior Specification of Interactive Multimedia Applications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 248-255. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740248abs.htm

Bottoni, Paolo, Costabile, Maria Francesca, Fogli, Daniela, Levialdi, Stefano, Mussio, Piero (2001): Multilevel Modelling and Design of Visual Interactive Systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 256-263. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740256abs.htm

Peltonen, Jari, Selonen, Petri (2001): Processing UML Models with Visual Scripts. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 264-271. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740264abs.htm

Esser, Robert, Janneck, Jorn W. (2001): Moses - a tool suite for visual modeling of discrete-event systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 272-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740272abs.htm

Karam, Marcel R., Smedley, Trevor J. (2001): A Testing Methodology for a Dataflow Based Visual Programming Language. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 280-287. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740280abs.htm

Burnett, Margaret M., Ren, Bing, Ko, Andrew Jensen, Cook, Curtis R., Rothermel, Gregg (2001): Visually Testing Recursive Programs in Spreadsheet Languages. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 288-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740288abs.htm

Pinet, Francois, Lbath, Ahmed (2001): An Algorithm for Stereotype Deduction in UML-Based Formalism and its Application in Geogra. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 296-303. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740296abs.htm

Hoffmann, Berthold (2001): Shapely Hierarchical Graph Transformation. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 30-37. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740030abs.htm

Cox, Philip T., Song, Baoming (2001): A Formal Model for Component-Based Software. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 304-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740304abs.htm

Zhang, Kang, Zhang, Da-Qian, Deng, Yi (2001): A Visual Approach to XML Document Design and Transformation. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 312-319. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740312abs.htm

Toyama, Daisuke, Kakimoto, Masumi, Yoshitaka, Atsuo, Hirakawa, Masahito (2001): A Community-based Web Browsing System. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 320-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740320abs.htm

Aversano, Lerina, Canfora, Gerardo, Lucia, Andrea De, Gallucci, Pierpaolo (2001): Integrating Document and Workflow Management Systems. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 328-329. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740328abs.htm

Grundy, John C., Mugridge, Rick, Hosking, John G., Kendall, Paul (2001): A Visual Language and Environment for EDI Message Translation. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 330-331. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740330abs.htm

Costabile, Maria Francesca, Angeli, Antonella De, Matera, Maristella (2001): Guiding Usability Evaluators During Hypermedia Inspection. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 332-333. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740332abs.htm

Ibrahim, Bertrand, Randriamparany, Honitriniela, Yoshizumi, Hidenori (2001): Heuristics for Edge Drawing in a Graph-Based Visual Language. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 334-337. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740334abs.htm

Maplesden, David, Hosking, John G., Grundy, John C. (2001): A Visual Language for Design Pattern Modelling and Instantiation. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 338-339. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740338abs.htm

Jackson, David (2001): Visual Debugging of Multithreaded Java Programs. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 340-341. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740340abs.htm

Kranzlmüller, Dieter, Reitinger, Bernhard, Volkert, Jens (2001): The Activity Tunnel - An Experiment for Improved Understanding of Program Behavior. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 342-343. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740342abs.htm

Pittarello, Fabio, Celentano, Augusto (2001): 3D Authoring for Content Experts: a Collaborative Approach. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 344-345. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740344abs.htm

Martin, Ludger (2001): Visual Development Environment Based on Component Technique. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 346-347. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740346abs.htm

Osawa, Noritaka, Asai, Kikuo, Sugimoto, Yuji Y., Saito, Fumihiko (2001): A Dancing Programmer in an Immersive Virtual Environment. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 348-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740348abs.htm

Bianchi, Andrea, Costagliola, Gennaro, D\'Ambrosio, Pietro, Francese, Rita, Scanniello, Giuseppe (2001): A Visual System for the generation of Banking Legacy System Gateways. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 350-357. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740350abs.htm

Karahasanovic, Amela, Sjoeberg, Dag I. K. (2001): Visualizing Impacts of Database Schema Changes - A Controlled Experiment. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 358-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740358abs.htm

Apperley, Mark, Spence, Robert, Wittenburg, Kent (2001): Selecting One from Many: The Development of a Scalable Visualization Tool. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 366-372. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740366abs.htm

Pereira, Maria João Varanda, Henriques, Pedro Rangel (2001): Visualization/Animation of Programs based on Abstract Representations and Formal Mappings. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 373-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740373abs.htm

Bardohl, Roswitha, Ribeiro, Leila (2001): Towards a Compositional Approach to Define Graphical Animation of Software Applications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 38-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740038abs.htm

Ferrucci, Filomena, Tortora, Genoveffa, Tucci, Maurizio, Vitiello, Giuliana (2001): A System for Rapid Prototyping of Visual Language Environments. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 382-389. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740382abs.htm

Averbukh, Vladimir L. (2001): Toward the Conceptions of Visualization Language and Visualization Metaphor. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 390-391. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740390abs.htm

Costagliola, Gennaro, Dattolo, Antonina, Francese, Rita (2001): Visual Hypermedia Authoring. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 392-393. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740392abs.htm

Håkansson, Anne, Oestreicher, Lars, Jonsson, Torsten, Hamfelt, Andreas (2001): ViCoLL - a Visual Compositional Logic Language. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 394-395. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740394abs.htm

Krusec, Robet, Lenic, Mitja, Mernik, Marjan, Zumer, Viljem (2001): Language Development in a Visual Manner. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 396-403. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740396abs.htm

Janneck, Jorn W., Esser, Robert (2001): A predicate-based approach to defining visual language syntax. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 40-47. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740040abs.htm

Pietriga, Emmanuel, Vion-Dury, Jean-Yves (2001): VXT: Visual XML Transformer. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 404-405. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740404abs.htm

Polese, Giuseppe, Chang, Shi-Kuo (2001): Towards a Theory of Normalization for Multimedia Databases. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 406-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740406abs.htm

Costagliola, Gennaro, Deufemia, Vincenzo, Ferrucci, Filomena, Gravino, Carmine (2001): On the pLR Parsability of Visual Languages. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 48-49. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740048abs.htm

Liu, Xiaojun, Xiong, Yuhong, Lee, Edward A. (2001): The Ptolemy II Framework for Visual Languages. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 50-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740050abs.htm

Vion-Dury, Jean-Yves, Pietriga, Emmanuel (2001): A Formal Study of a Visual Language for the Visualization of Document Type Definition. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 52-59. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740052abs.htm

Gurr, Corin A. (2001): Aligning syntax and semantics in formalisations of visual languages. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 60-61. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740060abs.htm

Neary, Duncan S., Woodward, Martin R. (2001): Visual Representation of Algebraic Specifications: a User-Oriented Approach. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 62-63. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740062abs.htm

Bottoni, Paolo, Meyer, Bernd, Parisi-Presicce, Francesco (2001): On a Uniform Logical Framework for Diagrammatic Reasoning. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 64-71. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740064abs.htm

Gil, Joseph, Howse, John, Kent, Stuart (2001): Towards a Formalization of Constraint Diagrams. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 72-. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740072abs.htm

Hausmann, Jan Hendrik, Heckel, Reiko, Sauer, Stefan (2001): Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence . In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 80-87. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740080abs.htm

Toetenel, Hans, Roubtsova, Ella E., Katwijk, Jan van (2001): A Timed Automata Semantics for Real-Time UML Specifications. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 88-95. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740088abs.htm

Graubmann, Peter, Rudolph, Ekkart, Grabowski, Jens (2001): Component Interface Description Using HyperMSCs and Connectors. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 96-102. http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740096abs.htm