Coverart for item
The Resource Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers, Stephen W. Gilroy, Michael D. Harrison (eds.)

Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers, Stephen W. Gilroy, Michael D. Harrison (eds.)

Label
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
Title
Interactive systems
Title remainder
design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
Statement of responsibility
Stephen W. Gilroy, Michael D. Harrison (eds.)
Title variation
DSVIS 2005
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
006.7
Illustrations
illustrations
Index
index present
LC call number
QA76.9.I58
LC item number
D78 2005eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
DSVIS 2005
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Gilroy, Stephen W
  • Harrison, M. D.
Series statement
Lecture notes in computer science,
Series volume
3941
http://library.link/vocab/subjectName
  • Interactive computer systems
  • Systèmes conversationnels (Informatique)
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Informatique
  • Interactive computer systems
  • Benutzeroberfläche
  • Computergrafik
  • Dialogsystem
  • Spezifikation
  • Verifikation
Label
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers, Stephen W. Gilroy, Michael D. Harrison (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote -- User Experience and the Idea of Design in HCI -- Teams and Groups -- Formalising Performative Interaction -- DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems -- Sketches and Templates -- Natural Modelling of Interactive Applications -- Task Model Simulation Using Interaction Templates -- Investigating Annotation in Electronic Paper-Prototypes -- Away from the Desktop -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases -- Migration and Mobility -- A Calculus for the Refinement and Evolution of Multi-user Mobile Applications -- A Taxonomy for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML -- Analysis Tools -- Concept Analysis as a Formal Method for Menu Design -- Supporting Resource-Based Analysis of Task Information Needs -- Automatic Critiques of Interface Modes -- Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis -- Model-Based Design Processes and Tools -- A Model-Based Design Process for Interactive Virtual Environments -- Mapping ConcurTaskTrees into UML 2.0 -- Goal-Oriented Design of Domain Control Panels -- Group Discussions -- Future Challenges of Model-Based Design -- Supporting Values Other Than Usability and Performance Within the Design Process -- Ambience and Mobility -- Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations
Control code
262692769
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9783540341451
Lccn
2006925462
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9786611407360
  • 10.1007/11752707
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-34145-1
Specific material designation
remote
System control number
(OCoLC)262692769
Label
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers, Stephen W. Gilroy, Michael D. Harrison (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Keynote -- User Experience and the Idea of Design in HCI -- Teams and Groups -- Formalising Performative Interaction -- DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems -- Sketches and Templates -- Natural Modelling of Interactive Applications -- Task Model Simulation Using Interaction Templates -- Investigating Annotation in Electronic Paper-Prototypes -- Away from the Desktop -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases -- Migration and Mobility -- A Calculus for the Refinement and Evolution of Multi-user Mobile Applications -- A Taxonomy for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML -- Analysis Tools -- Concept Analysis as a Formal Method for Menu Design -- Supporting Resource-Based Analysis of Task Information Needs -- Automatic Critiques of Interface Modes -- Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis -- Model-Based Design Processes and Tools -- A Model-Based Design Process for Interactive Virtual Environments -- Mapping ConcurTaskTrees into UML 2.0 -- Goal-Oriented Design of Domain Control Panels -- Group Discussions -- Future Challenges of Model-Based Design -- Supporting Values Other Than Usability and Performance Within the Design Process -- Ambience and Mobility -- Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations
Control code
262692769
Dimensions
unknown
Extent
1 online resource (xi, 263 pages)
Form of item
online
Isbn
9783540341451
Lccn
2006925462
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9786611407360
  • 10.1007/11752707
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-34145-1
Specific material designation
remote
System control number
(OCoLC)262692769

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...