Vor Ort
Merkzettel Warenkorb
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • Produktbild: Interactive Systems. Design, Specification, and Verification
Band 5136

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

IX, 314 p.

Herausgeber

T. C. Nicholas Graham + weitere

Verlag

Springer Berlin

Seitenzahl

314

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-70568-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

IX, 314 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

314

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

499 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-70568-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • Produktbild: Interactive Systems. Design, Specification, and Verification
  • EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.- Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.- An Attentive Groupware Device to Mitigate Information Overload.- Multi-fidelity User Interface Specifications.- HOPS: A Prototypical Specification Tool for Interactive Systems.- Systematic Analysis of Control Panel Interfaces Using Formal Tools.- Investigating System Navigation Ergonomics through Model Verification.- Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.- Towards a Library of Workflow User Interface Patterns.- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.- Pattern Languages as Tool for Discount Usability Engineering.- Cascading Dialog Modeling with UsiXML.- Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.- Lightweight Coding of Structurally Varying Dialogs.- ReWiRe: Designing Reactive Systems for Pervasive Environments.- Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.- A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.- Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.- Resources for Situated Actions.- An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.- COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.- Executable Models for Human-Computer Interaction.- A Middleware for Seamless Use of Multiple Displays.- Graphic Rendering Considered as a Compilation Chain.- Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.- Towards Characterizing Visualizations.- Towards Usability Evaluation for Smart Appliance Ensembles.- Task Model Refinement with Meta Operators.- Utilizing Dynamic Executable Models for User Interface Development.