Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHCC 2001: Stresa, Italy
- 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. IEEE Computer Society 2001, ISBN 0-7803-7198-4
Statecharts, H-Graphs and Graph Transformations
- Na'aman Kam, Irun R. Cohen, David Harel:
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. 15-22 - Stuart Anderson, John Power
, Konstantinos Tourlas:
Reasoning in Higraphs with Loose Edges. 23-29 - Berthold Hoffmann:
Shapely Hierarchical Graph Transformation. 30-37 - Roswitha Bardohl, Leila Ribeiro:
Towards a Compositional Approach to Define Graphical Animation of Software Applications. 38-
Specification of Visual Languages and Tools
- Jörn W. Janneck, Robert Esser:
A predicate-based approach to defining visual language syntax. 40-47 - Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
On the pLR Parsability of Visual Languages. 48-49 - Xiaojun Liu, Yuhong Xiong, Edward A. Lee:
The Ptolemy II Framework for Visual Languages. 50-
Language Visualization & Diagrammatic Reasoning
- Jean-Yves Vion-Dury, Emmanuel Pietriga:
A Formal Study of a Visual Language for the Visualization of Document Type Definition. 52-59 - Corin A. Gurr:
Aligning syntax and semantics in formalisations of visual languages. 60-61 - Duncan S. Neary, Martin R. Woodward:
Visual Representation of Algebraic Specifications: a User-Oriented Approach. 62-63 - Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce:
On a Uniform Logical Framework for Diagrammatic Reasoning. 64-71 - Joseph Gil, John Howse, Stuart Kent:
Towards a Formalization of Constraint Diagrams. 72-
Defining the Semantics of UML & Extending MSC
- Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. 80-87 - Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk:
A Timed Automata Semantics for Real-Time UML Specifications. 88-95 - Peter Graubmann, Ekkart Rudolph, Jens Grabowski:
Component Interface Description Using HyperMSCs and Connectors. 96-102 - Gwang Sik Yoon, Yong Rae Kwon:
Extending MSC for Reactive Systems. 104-
Combining UML and Formal Languages
- Soon-Kyeong Kim, David A. Carrington, Roger Duke:
A Metamodel-based transformation between UML and Object-Z. 112-119 - Rodolfo Castelló, Rym Mili, H. Madabushi:
Visualizing Graphical and Textual Formalisms. 120-121 - Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems. 122-
The User Experience in End-User Programming
- Christopher D. Hundhausen, Sarah A. Douglas:
Communicative Dimensions of End-User Environments. 127-134 - Werner Hartmann, Jürg Nievergelt, Raimond Reichert:
Kara, finite state machines, and the case for programming as part of general education. 135-141 - Mickaël Baron, Patrick Girard:
Bringing Robustness to End-User Programming. 142-
End-User Programming in New Domains
- Alan F. Blackwell, Rob Hague:
AutoHAN: An Architecture for Programming the Home. 150-157 - Stephen Farrell, Paul P. Maglio, Christopher S. Campbell:
How to Teach a Fish to Swim. 158-164 - Matthias Krauss, Frieder Nake, Susanne Grabowski:
Chinese Whispers. Semiotically Mediating Between Idea and Program. 165-
Interaction Techniques for End-User Programming
- Yoshihiro Adachi:
Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers. 173-179 - Guillaume Texier, Fabrice Depaulis, Laurent Guittet:
End-User Class Definition in CAD Systems. 180-187 - Toshiyuki Masui:
HyperSnapping. 188-
End-User Programming in Applications
- Margaret M. Burnett, Sudheer Kumar Chekka, Rajeev K. Pandey:
FAR: An End-User Language to Support Cottage E-Services. 195-202 - Jennifer L. Leopold, Allen L. Ambler, Meg Heimovics, Tyler Palmer:
A Visual Query System for the Specification and Scientific Analysis of Continual Queries. 203-211 - Guillaume Patry, Patrick Girard:
End-User Programming in a Structured Dialogue Environment: the GIPSE Project. 212-
Panel on End-User Programming for Web Applications
- Christopher Fry:
The World Wide Train Wreck: Is there light at the end of the tunnel? 220-225 - Ahmed Seffah, Juergen Rilling:
Investigating the Relationship between Usability and Conceptual Gaps for Human-Centric CASE Tools. 226-
Poster session
- Mikael Kindborg:
How Children Understand Concurrent Comics: Experiences from LOFI and HIFI Prototypes. 232-233 - Howie Goodell:
End User Programming in an Industrial Research & Development Group. 234-235 - Richard Potter:
Computation Scrapbooks of Emacs Lisp Runtime State. 236-237 - Steven L. Tanimoto, Jeremy W. Baer:
Programming at the End of the Learning Curve: Lisp Scripting for Image Processing. 238-
Symposium on Visual/Multimedia Approaches to Programming and Software Engineering
- Athula Ginige:
New Paradigm for Developing Software for E-Business. 243-246 - Robert Laurini:
Visual Languages for Spatio-temporal Applications. 247
Modelling Languages I
- Stefan Sauer, Gregor Engels:
UML-based Behavior Specification of Interactive Multimedia Applications. 248-255 - Paolo Bottoni, Maria Francesca Costabile, Daniela Fogli, Stefano Levialdi, Piero Mussio:
Multilevel Modelling and Design of Visual Interactive Systems. 256-263 - Jari Peltonen, Petri Selonen:
Processing UML Models with Visual Scripts. 264-271 - Robert Esser, Jörn W. Janneck:
Moses - a tool suite for visual modeling of discrete-event systems. 272-
Methodologies for Visual Languages
- Marcel R. Karam, Trevor J. Smedley:
A Testing Methodology for a Dataflow Based Visual Programming Language. 280-287 - Margaret M. Burnett, Bing Ren, Amy J. Ko, Curtis R. Cook, Gregg Rothermel:
Visually Testing Recursive Programs in Spreadsheet Languages. 288-
Modelling Languages II
- François Pinet, Ahmed Lbath:
An Algorithm for Stereotype Deduction in UML-Based Formalism and its Application in Geographic Information Systems. 296-303 - Philip T. Cox, Baoming Song:
A Formal Model for Component-Based Software. 304-
Multimedia
- Kang Zhang, Da-Qian Zhang, Yi Deng:
A Visual Approach to XML Document Design and Transformation. 312-319 - Daisuke Toyama, Masumi Kakimoto, Atsuo Yoshitaka, Masahito Hirakawa:
A Community-based Web Browsing System . 320-
Visual/Multimedia Approaches and Software Engineering
- Lerina Aversano, Gerardo Canfora, Andrea De Lucia, Pierpaolo Gallucci:
Integrating Document and Workflow Management Systems. 328-329 - John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall:
A Visual Language and Environment for EDI Message Translation. 330-331 - Maria Francesca Costabile, Antonella De Angeli, Maristella Matera:
Guiding Usability Evaluators During Hypermedia Inspection. 332-333 - Bertrand Ibrahim, Honitriniela Randriamparany, Hidenori Yoshizumi:
Heuristics for Edge Drawing in a Graph-Based Visual Language. 334-337 - David Maplesden, John G. Hosking, John C. Grundy:
A Visual Language for Design Pattern Modelling and Instantiation. 338-339 - David Jackson:
Visual Debugging of Multithreaded Java Programs. 340-341 - Dieter Kranzlmüller, Bernhard Reitinger, Jens Volkert:
The Activity Tunnel - An Experiment for Improved Understanding of Program Behavior. 342-343 - Fabio Pittarello, Augusto Celentano:
3D Authoring for Content Experts: a Collaborative Approach. 344-345 - Ludger Martin:
Visual Development Environment Based on Component Technique. 346-347 - Noritaka Osawa, Kikuo Asai, Yuji Y. Sugimoto, Fumihiko Saito:
A Dancing Programmer in an Immersive Virtual Environment. 348-
Applications
- Andrea Bianchi, Gennaro Costagliola, Pietro D'Ambrosio, Rita Francese, Giuseppe Scanniello:
A Visual System for the generation of Banking Legacy System Gateways. 350-357 - Amela Karahasanovic, Dag I. K. Sjøberg:
Visualizing Impacts of Database Schema Changes - A Controlled Experiment. 358-
Visualization
- Mark D. Apperley, Robert Spence, Kent Wittenburg:
Selecting One from Many: The Development of a Scalable Visualization Tool. 366-372 - Maria João Varanda Pereira, Pedro Rangel Henriques:
Visualization/Animation of Programs based on Abstract Representations and Formal Mappings. 373-
Visual/Multimedia Engineering
- Filomena Ferrucci, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello:
A System for Rapid Prototyping of Visual Language Environments. 382-389 - Vladimir L. Averbukh:
Toward the Conceptions of Visualization Language and Visualization Metaphor. 390-391 - Gennaro Costagliola, Antonina Dattolo, Rita Francese:
Visual Hypermedia Authoring. 392-393 - Anne Håkansson, Lars Oestreicher, Torsten Jonsson, Andreas Hamfelt:
ViCoLL - a Visual Compositional Logic Language. 394-395 - Robet Krusec, Mitja Lenic, Marjan Mernik, Viljem Zumer:
Language Development in a Visual Manner. 396-403 - Emmanuel Pietriga, Jean-Yves Vion-Dury:
VXT: Visual XML Transformer. 404-405 - Giuseppe Polese, Shi-Kuo Chang:
Towards a Theory of Normalization for Multimedia Databases. 406-
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
