Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Interactive Systems: Design, Specification, and Verification

1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Fabio Paternó

    1. Istituto Consiglio Nazionale delle Ricerche, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Focus on Computer Graphics (FOCUS COMPUTER)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Presentations and Discussions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    3. Working Group Discussions

      1. Users
        • D. A. Duce
        Pages 51-55
      2. Role of Formalisms
        • M. D. Harrison
        Pages 57-60
      3. Role of Development Environments
        • Piyawadee “Noi” Sukaviriya
        Pages 61-73

  3. Modelling in Architectural Design of Interactive Systems

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype

      • François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Jean Vanderdonckt
      Pages 77-94

    3. Modeling and Analyzing Human-Computer Dialogues with Protocols

      • Hans de Bruin, Peter Bouwman, Jan van den Bos
      Pages 95-116

    4. Bridging the Gap from Conceptual Design to Software Design

      • W. David Hurley
      Pages 117-127

    5. A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation

      • Ping Luo
      Pages 129-147

    6. A Tool-Supported Approach to the Refinement of Interactive Systems

      • F. Paternó, A. Leonardi, S. Pangoli
      Pages 149-159

    7. The BOSS System: Coupling Visual Programming with Model Based Interface Design

      • Siegfried Schreiber
      Pages 161-179

    8. A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge

      • Piyawadee “Noi” Sukaviriya, Jayakumar Muthukumarasamy, Martin Frank, James D. Foley
      Pages 181-197

    9. Object-Oriented Modelling and Specification for User Interface Design

      • Mark van Harmelen
      Pages 199-231

  4. Users, Tasks and Specification

    1. Front Matter

      Pages 233-233
      Download chapter PDF

    2. Why Are Analogue Graphics and Natural Language Both Needed in HCI?

      • Niels Ole Bernsen
      Pages 235-251

    3. Modelling Interactive Systems and Providing Task Relevant Information

      • Bob Fields, Michael Harrison, Peter Wright
      Pages 253-266

    4. The Requirements Engineering of User Freedom

      • M. D. Harrison, A. E. Blandford, P. J. Barnard
      Pages 267-277
Back to top

Keywords

About this book

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.

Editors and Affiliations

  • Istituto Consiglio Nazionale delle Ricerche, Pisa, Italy

    Fabio Paternó

Bibliographic Information

  • Book Title: Interactive Systems: Design, Specification, and Verification

  • Book Subtitle: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

  • Editors: Fabio Paternó

  • Series Title: Focus on Computer Graphics

  • DOI: https://doi.org/10.1007/978-3-642-87115-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: EUROGRAPHICS The European Association for Computer Graphics 1995

  • Softcover ISBN: 978-3-642-87117-7Published: 18 February 2012

  • eBook ISBN: 978-3-642-87115-3Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: X, 447

  • Topics: Computer Graphics, Software Engineering, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation