E-Book, Englisch, Band 2220, 221 Seiten, eBook
Johnson Interactive Systems: Design, Specification, and Verification
Erscheinungsjahr 2003
ISBN: 978-3-540-45522-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
E-Book, Englisch, Band 2220, 221 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45522-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.