Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gilroy, Stephen W. (Επιμελητής έκδοσης), Harrison, Michael D. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3941
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computers.; Computer logic.; Information storage and retrieval.; User interfaces (Computer systems).; Computer Science.; Theory of Computation.; User Interfaces and Human Computer Interaction.; Information Storage and Retrieval.; Software Engineering.; Logics and Meanings of Programs.; Computer Communication Networks.

Πίνακας περιεχομένων:

• Keynote
• User Experience and the Idea of Design in HCI
• Teams and Groups
• Formalising Performative Interaction
• DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems
• Towards Model Checking Stochastic Aspects of the thinkteam User Interface
• Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
• Sketches and Templates
• Natural Modelling of Interactive Applications
• Task Model Simulation Using Interaction Templates
• Investigating Annotation in Electronic Paper-Prototypes
• Away from the Desktop
• Test of the ICARE Platform Fusion Mechanism
• A Method for the Verification of Haptic Algorithms
• A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases
• Migration and Mobility
• A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
• A Taxonomy for Migratory User Interfaces
• Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
• Analysis Tools
• Concept Analysis as a Formal Method for Menu Design
• Supporting Resource-Based Analysis of Task Information Needs
• Automatic Critiques of Interface Modes
• Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis
• Model-Based Design Processes and Tools
• A Model-Based Design Process for Interactive Virtual Environments
• Mapping ConcurTaskTrees into UML 2.0
• Goal-Oriented Design of Domain Control Panels
• Group Discussions
• Future Challenges of Model-Based Design
• Supporting Values Other Than Usability and Performance Within the Design Process
• Ambience and Mobility
• Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.