Central Library

Normal view MARC view ISBD view

Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / edited by Gavin Doherty, Ann Blandford.

Contributor(s): Doherty, Gavin [editor.] | Blandford, Ann [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 4323Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: XI, 276 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540695547.Subject(s): Computer science | User interfaces (Computer systems) | Human-computer interaction | Multimedia systems | Information storage and retrieval systems | Software engineering | Theory of Computation | User Interfaces and Human Computer Interaction | Multimedia Information Systems | Information Storage and Retrieval | Software Engineering | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
Keynote -- How Do Developers Meet Users? - Attitudes and Processes in Software Development -- HCI Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged Participatory Multimedia Events -- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT -- Cognitive Aspects of Interaction -- An Investigation into the Validation of Formalised Cognitive Dimensions -- Formal Modelling of Cognitive Interpretation -- Use of Models -- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications -- An Ontological Approach to Visualization Resource Management -- Visual Design of User Interfaces by (De)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis of Pointing Tasks on a White Board -- Prototyping and Evaluation -- Mixed-Fidelity Prototyping of User Interfaces -- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules -- Rapid User-Centred Evaluation for Context-Aware Systems -- Supporting User Interface Development -- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group Discussions -- Processes: Working Group Report.-Usability and Computer Games: Working Group Report.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

Keynote -- How Do Developers Meet Users? - Attitudes and Processes in Software Development -- HCI Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged Participatory Multimedia Events -- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT -- Cognitive Aspects of Interaction -- An Investigation into the Validation of Formalised Cognitive Dimensions -- Formal Modelling of Cognitive Interpretation -- Use of Models -- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications -- An Ontological Approach to Visualization Resource Management -- Visual Design of User Interfaces by (De)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis of Pointing Tasks on a White Board -- Prototyping and Evaluation -- Mixed-Fidelity Prototyping of User Interfaces -- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules -- Rapid User-Centred Evaluation for Context-Aware Systems -- Supporting User Interface Development -- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group Discussions -- Processes: Working Group Report.-Usability and Computer Games: Working Group Report.

There are no comments for this item.

Log in to your account to post a comment.