Interactive Systems: Design, Specification, and Verification

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

  • Fabio Paternó

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Presentations and Discussions

    1. Front Matter
      Pages 1-1
    2. Invited Presentations

    3. Working Group Discussions

      1. D. A. Duce
        Pages 51-55
      2. M. D. Harrison
        Pages 57-60
      3. Piyawadee “Noi” Sukaviriya
        Pages 61-73
  3. Modelling in Architectural Design of Interactive Systems

    1. Front Matter
      Pages 75-75
    2. François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Jean Vanderdonckt
      Pages 77-94
    3. Hans de Bruin, Peter Bouwman, Jan van den Bos
      Pages 95-116
    4. F. Paternó, A. Leonardi, S. Pangoli
      Pages 149-159
    5. Piyawadee “Noi” Sukaviriya, Jayakumar Muthukumarasamy, Martin Frank, James D. Foley
      Pages 181-197
  4. Users, Tasks and Specification

    1. Front Matter
      Pages 233-233
    2. Bob Fields, Michael Harrison, Peter Wright
      Pages 253-266
    3. M. D. Harrison, A. E. Blandford, P. J. Barnard
      Pages 267-277
    4. H. Rex Hartson, Kevin A. Mayo
      Pages 279-297
  5. Approaches to Formal Specification of User Interfaces

  6. Back Matter
    Pages 445-453

About these proceedings


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.


Petri net complexity design development formal methods interactive system interfaces language modeling programming requirements engineering software template user interface verification

Editors and affiliations

  • Fabio Paternó
    • 1
  1. 1.Istituto Consiglio Nazionale delle RicerchePisaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-87117-7
  • Online ISBN 978-3-642-87115-3
  • Buy this book on publisher's site