By Topic

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

5-7 Sept. 2001

Filter Results

Displaying Results 1 - 25 of 73
  • Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

    Publication Year: 2001
    Request permission for commercial reuse | PDF file iconPDF (239 KB)
    Freely Available from IEEE
  • Visual languages for spatio-temporal applications

    Publication Year: 2001
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (35 KB) | HTML iconHTML

    Summary form only given. For spatio-temporal applications which are very 2D- or 3D-oriented, visual languages look more attractive than alphanumeric languages. In this paper, an overview is given to the evolution and characteristics of visual languages for those applications, overall for accessing and manipulation information. Examples are taken especially from urban and environmental planning. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2001, Page(s):412 - 413
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • A community-based Web browsing system

    Publication Year: 2001, Page(s):320 - 327
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (469 KB) | HTML iconHTML

    Current forms of Web browsers do not adequately reflect the current situation of explosive increase of Web space. The user is still forced to access the Web space page by page. We propose a Web browsing method based on communities. A community is a collection of Web sites which are related to each other. Unlike the conventional page-oriented search engines/browsers, the proposed interactive visual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual approach to XML document design and transformation

    Publication Year: 2001, Page(s):312 - 319
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (538 KB) | HTML iconHTML

    This paper presents a visual approach to the representation and validation of multimedia document structures specified in XML and transformation of one structure to another. The underlying theory of our approach is a context-sensitive graph grammar formalism. The paper demonstrates the conciseness and expressiveness of the graph grammar formalism. An example XML structure is provided and its graph... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal model for component-based software

    Publication Year: 2001, Page(s):304 - 311
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB) | HTML iconHTML

    In an effort to manage increasing complexity and to maximise the reuse of code, the software engineering community has recently put a considerable effort into the design and development of component-based software development systems and methodologies. The concept of building software from existing components arose by analogy with the way that hardware is now designed and built, using cheap, relia... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FAR: an end-user language to support cottage e-services

    Publication Year: 2001, Page(s):195 - 202
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (840 KB) | HTML iconHTML

    E-commerce has begun to evolve beyond simple web pages to more sophisticated ways of conducting e-business transactions, such as through electronic advertising, negotiation, and delivery. However, to participate in these advances requires the skills of professional programmers, and end-user owners of small businesses often cannot justify this expense. In this paper, we present FAR, an end-user lan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algorithm for stereotype deduction in UML-based formalism and its application in geographic information systems

    Publication Year: 2001, Page(s):296 - 303
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (502 KB) | HTML iconHTML

    Stereotypes provide a mechanism for extending the vocabulary of the UML. Present UML-based formalisms for geographic information system use the concept of visual stereotypes in order to represent geographic types. This paper extends the expressiveness of stereotypes currently defined for geographic types and describes an algorithm for the computation of visual stereotypes resulting from aggregatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HyperSnapping

    Publication Year: 2001, Page(s):188 - 194
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (430 KB) | HTML iconHTML

    We introduce a new drawing technique called HyperSnapping. In many drawing editors, various operations are provided for object alignment, and snapping is one of the most frequently used techniques, with which users can snap the mouse cursor or dragged objects to existing objects or square grids. HyperSnapping is an extension to snapping operations, where users can control the behavior of snapping ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visually testing recursive programs in spreadsheet languages

    Publication Year: 2001, Page(s):288 - 295
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (682 KB) | HTML iconHTML

    Although there has been recent research into ways to design visual programming languages and environments, little attention has been given to systematic testing in these languages, and what work has been done does not address "power" features such as recursion. In this paper, we discuss two possible ways the "What You See Is What You Test" methodology could be extended to accommodate recursion. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • End-user class definition in CAD systems

    Publication Year: 2001, Page(s):180 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (543 KB) | HTML iconHTML

    The object-oriented paradigm is very used in CAD systems. It permits users to create objects and to interrogate their attributes to use them in other processes. While some CAD or drawing systems support end-user programming in order to abstract building functions, none of them permit creating classes where several functions (constructor and selectors) share the same data. A data model that permits... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualizing graphical and textual formalisms

    Publication Year: 2001, Page(s):120 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (237 KB) | HTML iconHTML

    The purpose of this work is to combine the advantages of using visual formalisms for the specification of reactive systems with that of using formal verification and program transformation tools developed for textual formalisms. We have developed a tool suite called ViSta that automatically produces statechart layouts based on information extracted from an informal specification. In this paper, we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A testing methodology for a dataflow based visual programming language

    Publication Year: 2001, Page(s):280 - 287
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (579 KB) | HTML iconHTML

    Dataflow based visual programming languages have become an important topic of research in recent years, yielding a variety of research systems and commercial applications. As with any programming language, visual or textual, dataflow programs may contain faults. Thus, to ensure the coma functioning of dataflow programs, and increase confidence in the quality of these programs, testing is required.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Investigating the relationship between usability and conceptual gaps for human-centric CASE tools

    Publication Year: 2001, Page(s):226 - 231
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (477 KB) | HTML iconHTML

    Several interviews that we conducted highlight that many of the ease-of-use (usability) problems of CASE tools are instances of "conceptual gaps". A conceptual gap arises because of some difference between the software developer's mental model of the integrated development environment (IDE) and the way it can be used. Filling these gaps is the first step towards human-centric IDE. In this article,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dancing programmer in an immersive virtual environment

    Publication Year: 2001, Page(s):348 - 349
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (271 KB) | HTML iconHTML

    Our immersive programming system allows programs to be edited and controlled by direct manipulation and hand gestures in an immersive virtual environment utilizing multimodal interfaces. It lets beginners focus on learning the essence of programming without requiring familiarity with the keyboard and the commands of a conventional editor. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning in higraphs with loose edges

    Publication Year: 2001, Page(s):23 - 29
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (457 KB) | HTML iconHTML

    Harel (1988) introduces the notion of zooming out as a useful operation in working with higraphs. Zooming out allows one to consider less detailed versions of a higraph by dropping some detail from the description in a structured manner. Although this is a very useful operation it seems it can be misleading in some circumstances by allowing the user of the zoomed out higraph to make false inferenc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intellisheet: a spreadsheet system expanded by including constraint

    Publication Year: 2001, Page(s):173 - 179
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (501 KB) | HTML iconHTML

    This paper describes our research into the expansion of the spreadsheet paradigm by the incorporation of solvers for systems of linear and finite-domain constraints. An extended spreadsheet system, called Intellisheet, allows the entry of expressions that represent linear and finite-domain constraints, along with arithmetic expressions, in individual cells. The systems of constraints that have bee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metamodel-based transformation between UML and Object-Z

    Publication Year: 2001, Page(s):112 - 119
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (573 KB) | HTML iconHTML

    Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself is often described imprecisely, with the result that the overall transformat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aligning syntax and semantics in formalisations of visual languages

    Publication Year: 2001, Page(s):60 - 61
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (253 KB) | HTML iconHTML

    Often the most effective diagrams are those which are very simple. However there is a strong tendency, particularly prevalent in visual formal modelling and specification languages, to take a diagrammatic language which at core is very simple, and then add many extensions and features to make it more expressive - often making it so expressive that the diagrams produced in the language are no longe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Moses-a tool suite for visual modeling of discrete-event systems

    Publication Year: 2001, Page(s):272 - 279
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (557 KB) | HTML iconHTML

    This paper gives an overview of the Moses tool suite, a set of tools for visual language programming. In Moses, visual language syntax is defined by first-order predicates over the abstract syntax of a picture, represented by an attributed graph. One way of specifying language semantics in Moses is by writing an abstract state machine that interprets a given attributed graph. This paper shows how ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding usability evaluators during hypermedia inspection

    Publication Year: 2001, Page(s):332 - 333
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB) | HTML iconHTML

    This paper presents an empirical validation of the abstract tasks (ATs), which are operational guidelines driving the inspection activities during a usability evaluation. Two groups of inspectors evaluated a multimedia CD-ROM, one group using the ATs, the other group using a list of heuristics. Results demonstrated a better performance of the AT group but raised some issues concerning the acceptab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The World Wide Train Wreck: is there light at the end of the tunnel?

    Publication Year: 2001, Page(s):220 - 225
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (473 KB) | HTML iconHTML

    The Web, as initially presented to the world, provided a mechanism to get static content onto millions of computers. The straightforward HTML encoding for describing pages is simple enough that billions of pages have been created by perhaps millions of people. Numerous tools have been written to aid this process, again testifying to the simplicity of HTML. Humans being the demanding creates that t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kara, finite state machines, and the case for programming as part of general education

    Publication Year: 2001, Page(s):135 - 141
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (486 KB) | HTML iconHTML

    As a major evolutionary step in computer technology, users have come to rely on ready-made application software, rather than writing their own programs. If computer users no longer program, does it follow that the art of programming should only be taught to computing professionals? We argue the case for programming as a component of general education - not because of any direct utilitarian benefit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computation scrapbooks of Emacs Lisp runtime state

    Publication Year: 2001, Page(s):236 - 237
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB) | HTML iconHTML

    Snapshots of general purpose computation states have found important but limited special purpose uses (e.g. UNIX cores and Smalltalk images). A prototype system is presented for exploring additional uses for computation snapshots in the writing, debugging, testing and documenting of computer programs. These uses center on a Computation Scrapbook, which allows complete copies of program runtime sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Selecting one from many: the development of a scalable visualization tool

    Publication Year: 2001, Page(s):366 - 372
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (505 KB) | HTML iconHTML

    This paper describes visualisation tools to support the task of selecting one object from a collection of many on the basis of its attribute values. For this frequently encountered task we identify a set of tools appropriate to a spectrum of collection sizes extending from hundreds of thousands to as few as ten or twenty. Although some of the tools have not previously been reported, and some have ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.