Diese Präsentation wurde erfolgreich gemeldet.
Wir verwenden Ihre LinkedIn Profilangaben und Informationen zu Ihren Aktivitäten, um Anzeigen zu personalisieren und Ihnen relevantere Inhalte anzuzeigen. Sie können Ihre Anzeigeneinstellungen jederzeit ändern.

Formal 1 – Introduction

17 Aufrufe

Veröffentlicht am

Slides for the Formal Methods in HCI unit of my 2013 online course on HCI
https://hcibook.com/hcicourse/2013/unit/09-formal

* the myth of informality in interaction design
* what to model: user, system and world
* types of system model
* kinds of notations

Veröffentlicht in: Technologie
  • Als Erste(r) kommentieren

  • Gehören Sie zu den Ersten, denen das gefällt!

Formal 1 – Introduction

  1. 1.  formal methods in HCI Alan Dix http://alandix.com/academic/topics/formal/  
  2. 2. the myth of informality spiritus mundi – formality, precision = reductionism, positivism = BAD focus (rightly) on – context, situatedness, contingency BOTH needed – the world is rich and complex – but computers are formal (as is language) – key is choosing the right abstractions – and knowing what is left out
  3. 3. what to model users – cognitive models – task models system – behaviour – architectural structure world – domain models 
  4. 4. what to model users – cognitive models – task models system – behaviour – architectural structure world – domain models 
  5. 5. types of system model • dialogue – main modes • full state definition • abstract interaction model specific system generic issues
  6. 6. notations • graphical – digital watch STNs, Petri Nets, CTT, UML • textual – production rules (used in UIMS and cog. models) – mathematical formulae, process algebras • plain old sums – back of the envelope/placemat calculations

×