TAILIEUCHUNG - Lecture Human computer interaction: Lecture 25 - Professor Dr. Sajjad Mohsin

The output of task analysis is some breakdown of the tasks people perform and, depending on the techniques chosen, the things that are employed and the plans and sequences of actions used to perform the tasks. The way this information is utilized depends very much on the use to which it is put. | Models of the System Lecture 25 By Prof. Dr. Sajjad Mohsin Today’s Outline Today we will learn about, Formal Models, definitions notations and classes. Issues of notations Naïve Psychology Intoduction Standard formalisms Software engineering notations used to specify the required behaviour of specific interactive systems Interaction models Special purpose mathematical models of interactive systems, used to describe usability properties at a generic level Status/event analysis An example of an engineering level method drawing on both formal modelling and naive psychology types of system model dialogue – main modes full state definition abstract interaction model specific system generic issues Relationship with dialogue Dialogue modelling is linked to semantics. System semantics affects the dialogue structure But the basis is different Rather than dictate what actions are legal, these formalisms tell what each action does to the system Irony Computers are inherently mathematical machines. Humans are not. Formal techniques are well accepted for cognitive models of the user and the dialogue (what the user should do). Formal techniques are not yet well accepted for dictating what the system should do for the user! standard formalisms general computing notations to specify a particular system General computational formalisms Standard software engineering formalisms can be used to specify an interactive system. Referred to as formal methods Model based describe system states and operations . Z, VDM The two major model-oriented specification notations in use today are Z and VDM. The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL). The Z notation is a formal .

• Cơ sở dữ liệu
• Human computer interaction
• Lecture Human computer interaction
• Tương tác người và máy
• Hardware factors
• Software development process
• Bài giảng Tương tác Người Máy tính
• Interaction frameworks
• Models of interaction
• Common interaction styles
• Paradox of the computing phenomena
• Airplane navigation computer
• Joke from computer industry
• Bài giảng Tương tác người máy
• The interaction framework
• Industrial interfaces
• Interaction design basics
• Design involves
• Interaction design
• Ebook Interaction design
• Conceptualizing interaction
• Interfaces affect users
• Process of interaction design
• In flight entertainment system
• Software based products
• Priory healthcare
• Interactive computing systems
• The shopping analogy
• Abstract level constituents
• Interaction paradigms
• Keyboard accelerators
• Cascading menus
• Modeling rich interaction
• Status–event analysis
• Properties of events
• Human Input Output channels
• GUI based computer
• Factors affecting visual perception
• Color sensitivity
• Human auditory perception
• WIMP elements
• Human side
• Cognition framework
• Cognitive psychology
• Visual channe
• Sensory memory
• Emotion influences human capabilities
• Typical computer system
• Text entry devices
• Handwriting recognition
• Output display devices
• Short term memory
• Computer system
• Universal design
• Multi modal interaction
• Touch in the interface
• Dialog notations
• Structured human dialogs
• Dialog design notations
• Groupware systems
• Computer mediated communication
• Decision support systems
• User centered approaches
• Evaluation framework
• Modeling users
• Output devices
• Information processed
• The memory