Interactive Systems. Design, Specification, and Verification [electronic resource] :12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison.
by Gilroy, Stephen W [editor.]; Harrison, Michael D [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3941Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: XI, 267 p. Also available online. online resource.ISBN: 9783540341468.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Information storage and retrieval systems | Computer Science | User Interfaces and Human Computer Interaction | Information Storage and Retrieval | Software Engineering | Logics and Meanings of Programs | Computer Communication NetworksDDC classification: 005.437 | 4.019 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.9.H85 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.9.U83 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.9.U83 Machine Learning for Multimodal Interaction | QA76.9.U83 Computer Supported Cooperative Work in Design II | QA76.9.U83 Technologies for E-Learning and Digital Entertainment | QA76.9.U83 Interactive Systems. Design, Specification, and Verification | QA76.9.U83 Persuasive Technology | QA76.9.U83 Computers Helping People with Special Needs | QA76.9.U83 Haptic and Audio Interaction Design |
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.
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005, held in Newcastle upon Tyne, UK, in July 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
There are no comments for this item.