Interactive Systems: Design, Specification, and Verification
Springer Berlin (Verlag)
978-3-540-42807-7 (ISBN)
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.
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.
| Erscheint lt. Verlag | 24.10.2001 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XII, 221 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 412 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Informatik ► Software Entwicklung ► User Interfaces (HCI) | |
| Schlagworte | Adaptive Interfaces • CSW • formal methods • Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen • HC/Informatik, EDV/Betriebssysteme, Benutzeroberflächen • HC/Informatik, EDV/Informatik • Human-Computer Interaction (HCI) • Interactive Systems • Interface • Interface Design • Mobility • Modeling • Petri net • Semi-Formal Methods • Universal Access • User Interfaces • User Modelling • verification • Web-Site Design • XML |
| ISBN-10 | 3-540-42807-0 / 3540428070 |
| ISBN-13 | 978-3-540-42807-7 / 9783540428077 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
