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

Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.01.2001

Abbildungen

X, 258 p.

Herausgeber

Philippe Palanque + weitere

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

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

Gewicht

411 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41663-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.01.2001

Abbildungen

X, 258 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

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

Gewicht

411 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41663-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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
  • 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.