Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Corporate Author: SpringerLink (Online service)
Other Authors: Doherty, Gavin (Editor), Blandford, Ann (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:1st ed. 2007
Series:Programming and Software Engineering
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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 R