Interactive Systems. Design, Specification, and Verification
Springer Berlin (Verlag)
978-3-540-69553-0 (ISBN)
Keynote.- How Do Developers Meet Users? - Attitudes and Processes in Software Development.- HCI Research.- Validity and Cross-Validity in HCI Publications.- Critical Systems.- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System.- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems.- Model Based Development.- Collaborative Social Structures and Task Modelling Integration.- Towards Model-Driven Development of Staged Participatory Multimedia Events.- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT.- Cognitive Aspects of Interaction.- An Investigation into the Validation of Formalised Cognitive Dimensions.- Formal Modelling of Cognitive Interpretation.- Use of Models.- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.- An Ontological Approach to Visualization Resource Management.- Visual Design of User Interfaces by (De)composition.- Haptics and Multimodality.- Exploring the Specification of Haptic Interaction.- Analysis of Pointing Tasks on a White Board.- Prototyping and Evaluation.- Mixed-Fidelity Prototyping of User Interfaces.- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules.- Rapid User-Centred Evaluation for Context-Aware Systems.- Supporting User Interface Development.- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces.- Toward Quality-Driven Development of 3D Computer Games.- Group Discussions.- Processes: Working Group Report.-Usability and Computer Games: Working Group Report.
Erscheint lt. Verlag | 18.1.2007 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XI, 276 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 434 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | 3D • Adaptive Interfaces • Association Rules • augmented reality • Computer • Formal Method • formal methods • haptic interaction • Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen • HCI • HC/Informatik, EDV/Betriebssysteme, Benutzeroberflächen • Human Computer Interaction • Human-Computer Interaction (HCI) • Intelligent interfaces • mobile computing • Mobile Devices • model-based design • Modeling • Multimedia • Multimodal Interfaces • Requirements Engineering • Semi-Formal Methods • ubiquitous computing • UML • usability analysis • User Interface Design • User Interface Evaluation • User Interfaces • verification • Virtual Reality |
ISBN-10 | 3-540-69553-2 / 3540695532 |
ISBN-13 | 978-3-540-69553-0 / 9783540695530 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich