Interactive Systems. Design, Specification, and Verification
Springer Berlin (Verlag)
978-3-540-41663-0 (ISBN)
Designing Interactive Distributed Systems.- Specifying Temporal Behaviour in Software Architectures for Groupware Systems.- Questioning the Foundations of Utility for Quality of Service in Interface Development.- Designing User Interfaces.- A Framework for the Combination and Characterization of Output Modalities.- Specifying Multiple Time Granularities in Interactive Systems.- Verifying the Behaviour of Virtual Environment World Objects.- Tools for User Interfaces.- SUIT - Context Sensitive Evaluation of User Interface Development Tools.- Structuring Interactive Systems Specifications for Executability and Prototypability.- A Toolkit of Mechanism and Context Independent Widgets.- Formal Methods for Human-Computer Interaction.- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.- More Precise Descriptions of Temporal Relations within Task Models.- Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?.- Model-Based Design of Interactive Systems.- Wisdom - A UML Based Architecture for Interactive Systems.- User Interface Declarative Models and Development Environments: A Survey.- The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.
Erscheint lt. Verlag | 30.1.2001 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 258 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 381 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Netzwerke | |
Schlagworte | Computer • Dialogsystem • Distributed Systems • Formal Method • formal methods • Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen • HC/Informatik, EDV/Betriebssysteme, Benutzeroberflächen • HC/Informatik, EDV/Informatik • Human-Computer interaction • Human-Computer Interaction (HCI) • Interactive Distributed Systems • Interactive Systems • System design • system specification • System Verification • User Interfaces • verification |
ISBN-10 | 3-540-41663-3 / 3540416633 |
ISBN-13 | 978-3-540-41663-0 / 9783540416630 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich