Coverart for item
The Resource Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996, edited by Francois Bodart, Jean Vanderdonckt

Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996, edited by Francois Bodart, Jean Vanderdonckt

Label
Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Title
Design, Specification and Verification of Interactive Systems '96
Title remainder
Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Statement of responsibility
edited by Francois Bodart, Jean Vanderdonckt
Creator
Contributor
Subject
Language
eng
Summary
Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer's work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them
Member of
http://library.link/vocab/creatorName
Bodart, Francois
Dewey number
  • 005.437
  • 4.019
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Vanderdonckt, Jean
Series statement
Eurographics,
http://library.link/vocab/subjectName
Computer science
Label
Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996, edited by Francois Bodart, Jean Vanderdonckt
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Invited Talks -- Retrospective and Challenges for Model-Based Interface Development -- Human Factors in Aeronautics -- Abstract Interpretation and Application to Interactive System Verification -- Moving Towards Implementation -- Device Models -- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems -- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour -- Prototyping Device Interfaces with DSN/2 -- Evaluating Formal Languages -- Toward More Understandable User Interface Specifications -- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO -- The Evaluation of User Interface Notations -- Analysing Errors -- Supporting Error-Driven Design -- Risk Analysis, Impact and Interaction Modelling -- Design Assistance for User-Adapted Interaction -- Design, Specification and Verification -- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems -- Fusion Engines and Melting Pots -- Monolingual, Articulated Modeling of Users, Devices, and Interfaces -- Evaluating the Interfaces of Three Theorem Proving Assistants -- Validating Properties of Component-based Graphical User Interfaces -- Specifying and Reasoning About CSCW -- Reports from Working Groups -- The Namur Principles: Criteria for the Evaluation of User Interface Notations -- The Role of Formalisms
Control code
ocn851381771
Dimensions
unknown
Extent
1 online resource (xi, 383 pages 114 illustrations)
File format
unknown
Form of item
online
Isbn
9783709174913
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851381771
Label
Design, Specification and Verification of Interactive Systems '96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996, edited by Francois Bodart, Jean Vanderdonckt
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Invited Talks -- Retrospective and Challenges for Model-Based Interface Development -- Human Factors in Aeronautics -- Abstract Interpretation and Application to Interactive System Verification -- Moving Towards Implementation -- Device Models -- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems -- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour -- Prototyping Device Interfaces with DSN/2 -- Evaluating Formal Languages -- Toward More Understandable User Interface Specifications -- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO -- The Evaluation of User Interface Notations -- Analysing Errors -- Supporting Error-Driven Design -- Risk Analysis, Impact and Interaction Modelling -- Design Assistance for User-Adapted Interaction -- Design, Specification and Verification -- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems -- Fusion Engines and Melting Pots -- Monolingual, Articulated Modeling of Users, Devices, and Interfaces -- Evaluating the Interfaces of Three Theorem Proving Assistants -- Validating Properties of Component-based Graphical User Interfaces -- Specifying and Reasoning About CSCW -- Reports from Working Groups -- The Namur Principles: Criteria for the Evaluation of User Interface Notations -- The Role of Formalisms
Control code
ocn851381771
Dimensions
unknown
Extent
1 online resource (xi, 383 pages 114 illustrations)
File format
unknown
Form of item
online
Isbn
9783709174913
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851381771

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...