14. What does standard formalism mean?

Software engineering notations used to specify the required behavior of specific interactive systems.

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

Algebraic describe effects of sequences of actions

Extended logics describe when things happen and who is responsible

15. What are model-based methods?

Example: a graphic drawing package. Points are ordered pairs. Shapes can be of varying types.

16. Describe main interface issues.

Framing problem: “everything else stays the same" can be complicated with state invariants.

Internal consistency: do operations define any legal transition?

External consistency must be formulated as theorems to prove. Clear for refinement, not so for requirements

Separation of system functionality and presentation is not explicit

17. Describe main interaction models.

General computational models were not designed with the user in mind. We need models that sit between the software engineering formalism and our understanding of HCI.

Formal: the PIE model for expressing general interactive properties to support usability.

Informal: interactive architectures (MVC, PAC, ALV) to motivate separation and

modularization of functionality and presentation.

Semi-formal: status-event analysis for viewing a slice of an interactive system that spans several layers

Issues for PIE properties:

Insufficient - define necessary but not sufficient properties for usability.

Generic - can be applied to any system.

Proof obligations for system defined in SE formalism.

Scale how to prove many properties of a large system.

Scope limiting applicability of certain properties.

Insight gained from abstraction is reusable.

18. Compare different kinds of interaction models.

19. What kinds of interface testing do you know?

Когнітивний наскрізний контроль (Cognіtіve Walkthrough) проводиться шляхом обмірковування можливих проблем і помилкових шляхів користувача. Перевага цього метода в тому що, користувач не зустрінеться с цими проблемами при використані системи, але дуже важко виявити усі помилкові дії користувача.

Back-of-the-Envelope аналіз - являє собою аналіз дій на більше поверхневому рівні деталізації в порівнянні з GOMS моделлю. В процесі цього аналізу здійснюється продумування дій та визначається ємність розумових витрат користувача, необхідних для вирішення деякого завдання, яке виконується за допомогою інтерфейсу програмної системи, що тестується. В результаті цього аналізу можуть бути знайдені «вузькі» місця інтерфейсу, в яких користувач витрачає багато часу для подолання частки поставленого завдання. Такі місця мають бути перепроектовані шляхом зняття складних функцій з користувача й передачі їх самій системі.

Евристичний аналіз ( Heurіstіc Analysіs ) - свого роду перевірка за контрольними списками, які охоплюють різноманітні проблеми. Вимагає участі декількох учасників, що мають знання в області юзабилити