Programming and Software Engineering
© 2006
Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Editors: Gilroy, Stephen W., Harrison, Michael D. (Eds.)
Free PreviewBuy this book
- Table of contents (25 chapters)
-
-
User Experience and the Idea of Design in HCI
Pages 1-14
-
Formalising Performative Interaction
Pages 15-25
-
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems
Pages 26-38
-
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Pages 39-50
-
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
Pages 51-66
-
Table of contents (25 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Interactive Systems. Design Specification, and Verification
- Book Subtitle
- 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
- Editors
-
- Stephen W. Gilroy
- Michael D. Harrison
- Series Title
- Programming and Software Engineering
- Series Volume
- 3941
- Copyright
- 2006
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-34146-8
- DOI
- 10.1007/11752707
- Softcover ISBN
- 978-3-540-34145-1
- Edition Number
- 1
- Number of Pages
- XII, 276
- Topics
