KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods in Human-Computer Interaction
  • Produktbild: Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer Interaction

72,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

Beschreibung

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

15.03.2009
Abbildungen

Worked examples or Exercises
Herausgeber Michael Harrison + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

15.03.2009
Abbildungen

Worked examples or Exercises
Herausgeber
Verlag Cambridge Academic
Seitenzahl

344
Maße (L/B/H)

24,4/17/1,9 cm
Gewicht

595 g
Sprache

Englisch
ISBN

978-0-521-44867-3
Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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: Formal Methods in Human-Computer Interaction
  • Produktbild: Formal Methods in Human-Computer Interaction

  • Preface; Contributors; 1. The role of formal methods in human-computer interaction Michael Harrison and Harold Thimbleby; 2. HCI formalisms and cognitive psychology: the case of Task-Action Grammar Franz Schiele and Thomas Green; 3. Putting design into practice: formal specification and the user interface Roger Took; 4. Non-determinism as a paradigm for understanding the user interface Alan Dix; 5. A state model of direct manipulation in interactive systems Michael Harrison and Alan Dix; 6. Specification, analysis and refinement of interactive processes Bernard Sufrin and Jifeng He; 7. From abstract models to functional prototypes Colin Runciman; 8. Designing abstractions for communication control Gilbert Cockton; 9. Structuring dialogues using CSP Heather Alexander; Bibliography; Index.