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
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2007, 2007
Edition:1st ed. 2007
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02096nmm a2200409 u 4500
001 EB000378024
003 EBX01000000000000000231076
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540695547 
100 1 |a Doherty, Gavin  |e [editor] 
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 
250 |a 1st ed. 2007 
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 Theory of Computation 
653 |a Software engineering 
653 |a Computer science 
653 |a User Interfaces and Human Computer Interaction 
653 |a Multimedia Information Systems 
653 |a Multimedia systems 
653 |a Information storage and retrieval systems 
653 |a Logics and Meanings of Programs 
653 |a Information theory 
653 |a Logic design 
653 |a Information Storage and Retrieval 
653 |a Software Engineering 
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 Programming and Software Engineering 
856 |u https://doi.org/10.1007/978-3-540-69554-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151