By Topic

IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003

28-31 Oct. 2003

Filter Results

Displaying Results 1 - 25 of 65
  • Preserving non-programmers' motivation with error-prevention and debugging support tools

    Publication Year: 2003, Page(s):271 - 272
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (282 KB) | HTML iconHTML

    A significant challenge in teaching programming to disadvantaged populations is preserving learners' motivation and confidence. Because programming requires such a diverse set of skills and knowledge, the first steps in learning to program can be highly error-prone, and can quickly exhaust whatever attention learners are willing to give to a programming task. Our approach to preserving learners' m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating the effectiveness of a multimedia advisor tool

    Publication Year: 2003, Page(s):257 - 259
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (339 KB) | HTML iconHTML

    This study is to investigate the usefulness of a multimedia advisor tool which provides advice on media selection and attention effects for multimedia systems design. The advisor tool was designed to recommend appropriate media types with examples according to information types and communication goals. The tool also shows media examples for essential attention types. A series of usability evaluati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantics of interactions in UML 2.0

    Publication Year: 2003, Page(s):129 - 136
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (526 KB) | HTML iconHTML

    The recent major revision of the UML has introduced significant changes and additions. In particular, message sequence charts (MSC) according to the ISO standard have been integrated. In UML, the concept underlying these notations is called interaction. In this paper, the author shall look at its definition, defining a formal, yet straightforward trace semantics, including time. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving workflow enactment rules from UML activity diagrams: a case study

    Publication Year: 2003, Page(s):211 - 218
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (618 KB) | HTML iconHTML

    In the last years, there has been a growing interest in enhancing the semantics of UML diagrams to automatically derive executable process models. We present a case study of mapping UML activity diagrams with object flow onto the process modeling language of a distributed process support system called GENESIS. UML activity diagrams do not support all the GENESIS control flow and dataflow rules. As... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating software engineering and user-centred design for multimedia software developments

    Publication Year: 2003, Page(s):254 - 256
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (358 KB) | HTML iconHTML

    The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and design models of multimedia software. For development of highly usable multimedia applications, this approach must be embedded in a more holistic development process that takes a user-oriented perspective on multimedia s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Defining and validating transformations of UML models

    Publication Year: 2003, Page(s):145 - 152
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (575 KB) | HTML iconHTML

    With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such trans... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual composition of Web services

    Publication Year: 2003, Page(s):92 - 99
    Cited by:  Papers (12)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB) | HTML iconHTML

    Composing Web services into a coherent application can be a tedious and error prone task when using traditional textual scripting languages. As an alternative, complex interactions patterns and data exchanges between different Web services can be effectively modeled using a visual language. In this paper we discuss the requirements of such an application scenario and we present the design of the B... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualizing design patterns with a UML profile

    Publication Year: 2003, Page(s):123 - 125
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tagged values are attached to a modeling element to explicitly represent the role the modeling element plays in a design pattern so that the user can identify the pattern in a UML diagram. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Human-computer interaction for large display surfaces

    Publication Year: 2003, Page(s): 3
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (149 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SSR: Statechart with shared resources

    Publication Year: 2003, Page(s):198 - 200
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB) | HTML iconHTML

    In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we intr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A technology for lightweight Web-based visual applications

    Publication Year: 2003, Page(s):245 - 247
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (363 KB) | HTML iconHTML

    Providing useful and usable visual interaction for Web-based applications is a challenge without requiring client-side support such as Java applets. We describe Cliki which provides Web-based lightweight support for visual systems. Cliki makes minimal assumptions about the client used to view the Web pages, meaning applications that use it are highly accessible. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations

    Publication Year: 2003, Page(s):137 - 144
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (541 KB) | HTML iconHTML

    We illustrate how UML statechart diagrams as distinct from statecharts are formalized in the π-calculus as a number of processes which communicate via a channel-passing interaction paradigm. Different types of equivalences of statechart diagrams, including isomorphism, strong behavioural equivalence and weak behavioural equivalence are defined in terms of structural congruence, strong open bisi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intersections of literacy acquisition and programming

    Publication Year: 2003, Page(s):283 - 284
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (246 KB) | HTML iconHTML

    The computer is a highly literate instrument. And, the design of most computer software, especially programming languages and environments, assume a high degree of literacy on the part of the user. Because most programming environments rely upon text as the primary method of specifying instructions, and because programming structures are similar in a number of ways to writing text, the development... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Spatial graph grammars for Web information transformation

    Publication Year: 2003, Page(s):84 - 91
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (670 KB) | HTML iconHTML

    This paper presents an approach to spatial specifications for Web information transformation. Extended from the reserved graph grammar (RGG), a spatial graph grammar (SGG) is proposed. The paper illustrates a detailed example that applies the SGG to transform a XML Web document to a WML structure for the display on mobile devices. The SGG formalism is general enough for a wide range of application... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming in a data factory

    Publication Year: 2003, Page(s):100 - 107
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1363 KB) | HTML iconHTML

    Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of a program and its execution. This paper presents an experimental programming system called the data factory that uses a manufacturing metaphor to give data an even stronger sense of place. A key affordance for learners i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies and behaviors of end-user programmers with interactive fault localization

    Publication Year: 2003, Page(s):15 - 22
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (702 KB) | HTML iconHTML

    End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately, this effort has not been supplemented by a comparable effort to increase the correctness of these often faulty programs. To address this need, we have been working towards bringing fault localization techniques to end us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A reading algorithm for constraint diagrams

    Publication Year: 2003, Page(s):161 - 168
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (554 KB) | HTML iconHTML

    Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler circles, and include facilities for quantification and navigation of relations. Their design emphasizes scalability and expressiveness while retaining intuitiveness. The formalization of constraint diagrams is non-trivial: pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transparent interface: a seamless media space integrating the real and virtual worlds

    Publication Year: 2003, Page(s):120 - 122
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (507 KB) | HTML iconHTML

    This paper presents an augmented reality system with a film-type transparent display. When the user selects a real world object by pointing at it with his/her finger, the associated information is projected onto the display which is located between the user and objects, resulting in the visual integration of the computer-generated digital information with real world objects. It is noted here that ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A language and task-based taxonomy of programming environments

    Publication Year: 2003, Page(s):192 - 194
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (290 KB) | HTML iconHTML

    Standard desktop computer applications are becoming increasingly sophisticated, allowing competent users to gain greater levels of efficiency through powerful capabilities. Examples are wide ranging - from simple tailoring of Web-browsers so that frequently used links appear on the toolbar, to writing code to customize the behaviour of a word processor. These interface features promise benefits of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual methods for Web application design

    Publication Year: 2003, Page(s):242 - 244
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB) | HTML iconHTML

    The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with Web-based simulations of user interfaces to permit validation and usability assessment of systems by end users in advance of implementation. The goal is to correct architectural design decisions that adversely impact usability early in the design cycle when correction is relatively... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new visual specification of cellular automata-like systems

    Publication Year: 2003, Page(s):183 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (317 KB) | HTML iconHTML

    It has been a long time since Von Neumann invented the cellular automata model. Many programming environments and languages were developed to specify and implement cellular automata-like systems (CA). Most of these languages focus on computational and performance issues, and provide a rather conventional view of the CA description. Visual methods are not often applied in CA specification, despite ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bringing educational theory to end-user programming

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

    Recent years have seen the explosive growth of end-user programming. End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately, this effort has not been supplemented by a comparable effort to help them increase the correctness of these often-faulty programs. One of the most wide... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalizing WYSIWYT visual testing to screen transition languages

    Publication Year: 2003, Page(s):203 - 210
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (677 KB) | HTML iconHTML

    How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those languages - even when the audience has no background in software engineering? Visual programs are likely to contain at least some errors, and supporting a visual form of testing would give users a way to spot those errors ea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual approach for generating server page type Web applications based on template method

    Publication Year: 2003, Page(s):248 - 250
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    A number of Web application generators have been proposed for automating management of the consistency and the security of Web applications. These approaches, however, concentrate on server program type architecture and it is difficult to apply them to server page type architecture. In this paper, extending the model for server program type Web applications, we propose Web transition diagrams for ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallelism in the Icicle programming environment

    Publication Year: 2003, Page(s):53 - 55
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (401 KB) | HTML iconHTML

    Parallelism is essential in any programming environment used to produce simulations and interactive games. These are just the sorts of program most children would like to produce. Unfortunately parallel programming is hard. Icicle, a programming by demonstration environment, supports the production of the most common forms of parallelism in a straightforward way and allows complete control over pa... View full abstract»

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