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

Main Author: Doherty, Gavin
Corporate Author: SpringerLink (Online service)
Other Authors: Blandford, Ann (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02085nmm a2200409 u 4500
001 EB000378024
003 EBX01000000000000000231076
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540695547 
100 1 |a Doherty, Gavin 
245 0 0 |a Interactive Systems. Design, Specification, and Verification  |h Elektronische Ressource  |b 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers  |c edited by Gavin Doherty, Ann Blandford 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2007, 2007 
300 |a XI, 276 p  |b online resource 
505 0 |a 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 
653 |a Computer Communication Networks 
653 |a Software engineering 
653 |a Computer science 
653 |a Multimedia systems 
653 |a Software Engineering 
653 |a Information Storage and Retrieval 
653 |a Computer Science 
653 |a Information storage and retrieval systems 
653 |a Logic design 
653 |a User Interfaces and Human Computer Interaction 
653 |a Logics and Meanings of Programs 
653 |a Multimedia Information Systems 
700 1 |a Blandford, Ann  |e [editor] 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
856 |u http://dx.doi.org/10.1007/978-3-540-69554-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.437 
082 0 |a 4.019