Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Johnson, Chris J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2220
• Θέματα: User interfaces (Computer systems).; Application software.; Computer hardware.; Computer graphics.; Software engineering.; Computer logic.; User Interfaces and Human Computer Interaction.; Computer Applications.; Computer Hardware.; Computer Graphics.; Software Engineering.; Logics and Meanings of Programs.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of revie...

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

• Mobile Interface Design
• An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
• Model-Based User Interface Design Using Markup Concepts
• Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
• Task Modelling for Context-Sensitive User Interfaces
• Supervision and Control Systems
• Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
• A Tool Suite for Integrating Task and System Models through Scenarios
• Temporal and Stochastic Issues
• Temporal Patterns for Complex Interaction Design
• Modelling Dynamic Group Behaviours
• Reasoning about Interactive Systems with Stochastic Models
• New Perspectives
• Towards Uniformed Task Models in a Model-Based Approach
• Heuristic Evaluation of Website Attractiveness and Usability
• Affordance and Symmetry.