/. , O. .. Barre-verticale, and /. , #ifdef SCRUTE /* SBalbo : 19.2.92 */ Widget w_horiz, w_vertic; #endif /* end of SBalbo : 19.2, #ifdef SCRUTE /* SBalbo, 19.2. 92 , scrutation des mvt ds ScrollBar*

. O. Quellejauge and . Bj-], MESSAGE DE CONFIRMATION : Modification sur le fichier, OUVERTURE TOPLEVEL : **MsgSave1**Message de confirmation (7341002) DATE : 218+855458 218+883909##**(7340999)**UnmapNotify 218+908405##**(7340999)**DestroyNotify 218+925370##**(7340915)**FocusIn 219+23687##**(7341002)**ConfigureNotify 219+100413##**(7341002)**MapNotify 219+130722##**(7341002)**FocusIn 220+844500#1025:57:23:554#**(7341002)**MsgCbSave1**selectionner 'Sauver' 235+547176##**(7341002)**UnmapNotify Enter_PIN_1 -I-> Enter_PIN_2 (Digit)

S. Enter_amount, DIGIT ) (* Repetition : 10:20:59 @ ENTER_AMOUNT ( 0) Plate-forme d'exp?rimentation : Automatic Teller Ma 10:28, pp.46-63

R. Enter_card, Invalide : 10:28:06 @ BKGND_KEYDOWN_ON( 4) 10:28:07 @ BKGND_KEYDOWN_ON( 0) 10:28:08 @ BKGND_KEYDOWN_ON( 0) 10:28:08 @, pp.47-4829

-. Select_valid, . Remove_cash, and . Select_cancel_continue, Remove_Cash -I-> Select_Withdraw ; Select_Balance

S. Invalide, MOUSEUP) 10:23:16 @ BKGND_BUTTON_NAME ( BOTTOM_BUTTON,MOUSEUP) 10:23:MOUSEUP) 10:23:35 @ BKGND_BUTTON_NAME ( TOP_BOTTOM,MOUSEUP) 10:23:38 @ BKGND_BUTTON_NAME ( BOTTOM_BUTTON,MOUSEUP) 10:24:32 @ BKGND_BUTTON_NAME ( BOTTOM_BUTTON,MOUSEUP) 10:24, pp.36-60

(. No, 10:30:09 @ SELECT_WITHDRAW 10:30:13 @ ENTER_AMOUNT ( 3) 10:30:14 @ ENTER_AMOUNT ( 0) (* Repetition *) 10:30:17 @ SELECT_VALID 10:30:26 @ REMOVE_CASH 10:30:38 @ SELECT_BALANCE 10:30:51 @ SELECT_CANCEL_CONTINUE (*Annulation *) 10:31:00 @ SELECT_END 10:31, :53 @ BKGND_BUTTON_NAME ( BOTTOM_BUTTON,MOUSEUP) (* Invalide *) 10:36:00 @ SELECT_CANCEL_CONTINUE (*Annulation *), pp.29-58

. Texte, ?valuation retranscrite par Ian Denley Retranscription intégrale du texte pour l'évaluation du DAB initial et du DAB modifié. Ces évaluations ont été effectuées à l'Unité d'Ergonomie de l, 1992.

G. D. Abowd, J. Coutaz, and &. L. Nigay, Structuring the space of interactive system properties " , in the proceedings of the IFIP TC2 The UIMS Workshop Tool Developers : A Metamodel for the Runtime Architecture of an Interactive System, Working Conference on Engineering for Human-Computer InteractionArch SIGCHI Bulletin, vol.92, issue.24 1, pp.32-37, 1992.

P. J. Barnard, Cognitive Resources and the Learning of Human-Computer Dialogs, Interfacing Thought, pp.112-158, 1987.

L. Bass and &. J. Coutaz, Logiciels interactifs et ergonomie, modèles et méthodes de conception Developing software for the User Interface, Editions Dunod Informatique, 1988.

]. J. Bastien and &. L. Scapin, Preliminart findings on the effectiveness of ergonomic criteria for the evaluation of human-computer interfaces, Proceedings of the InterCHI'93 conference, 1993.

N. O. Bernsen, Structuring design spaces, INTERACT '93 and CHI '93 conference companion on Human factors in computing systems , CHI '93, pp.211-212, 1993.
DOI : 10.1145/259964.260238

J. Caelen and &. A. Fréchet, Attitudes cognitives et actes de langage en situation de communication homme/machine The psychology of Human Computer Interaction, 1983.

]. J. Carroll and &. C. Carrithers, Training wheels in a user interface, Communications of the ACM, vol.27, issue.8, pp.800-807, 1984.
DOI : 10.1145/358198.358218

P. Coad and &. E. Yourdon, Object-oriented analysis, 1991.

M. Colbert, J. Dowell, and &. J. Long, The application of Dowell & Long's engineering conception of Human-Computer Interaction to Military Command & Control : a view of the domain of C2 and its fitness for purpose, Ergonomics Unit, 1992.

B. Collet, Manuel utilisateur Compo, version 1.3

]. A. Collins and &. R. Quillian, Retrieval time from semantic memory, Journal of Verbal Learning and Verbal Behavior, vol.8, issue.2, pp.240-247, 1969.
DOI : 10.1016/S0022-5371(69)80069-1

J. Coutaz, Interfaces homme-ordinateur : Conception et réalisation, Dunod Informatique, 1990.

]. J. Coutaz-93a, G. Coutaz, F. Faconti, L. Paterno, &. D. Nigay et al., MATIS: a UAN Description and Lesson Learned, Amodeus Report, SM, p.14, 1993.

J. Coutaz, L. Nigay, and &. D. Salber, The MSM framework: A design space for Multi-Sensori-Motor systems, Human Computer Interaction, 3rd International Conference EWHCI'93, East/West Human Computer Interaction, pp.231-241, 1993.
DOI : 10.1007/3-540-57433-6_52

]. J. Crowley and &. J. Bedrune, Integration and Control of Reactive Visual Processes, European Conference on Computer Vision, 1994.

R. Cuzin, Visualisation d'objets multimédia Application aux dossiers médicaux " , mémoire présenté en vue d'obtenir le diplôme d'ingénieur CNAM, Note technique NOT 014

O. Deux, The O 2 System, CACM Technology, vol.34, issue.10 2, p.7, 1991.

]. A. Dix, Formal Methods for Interactive Systems, Computers and Poeple Series, 1991.

]. J. Dowell and &. J. Long, Towards a conception for an engineering discipline of human factors, Ergonomics, vol.2, issue.11, pp.1513-1535, 1989.
DOI : 10.1016/B978-0-08-034120-0.50013-8

]. J. Gould-87a, S. J. Gould, S. Boies, J. T. Levy, &. J. Richards et al., The 1984 Olympic Message System: a test of behavioral principles of system design, Communications of the ACM, vol.30, issue.9, 1987.
DOI : 10.1145/30401.30402

]. J. Gould-87b, . D. Gould-]-w, B. E. Gray, &. E. John, P. Atwood et al., How to design usable systems Project Ernestine: Validating a GOMS Analysis for Predicting and Explaining Real-World Task Performance XUAN: Enhancing the UAN to capture temporal relations among actions, Proceedings of INTERACT'87, pp.237-309, 1987.

M. L. Hammontree, J. J. Hendrickson, and &. W. Hensley, Integrated data capture and analysis tools for research and testing on graphical user interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '92, pp.431-432
DOI : 10.1145/142750.142886

M. D. Harrison and &. J. Dix, Formalising Models of Interaction in the Design of a Display Editor, Proceedings of the Second IFIP Conference on Human- Computer Interaction-INTERACT'87, pp.409-414, 1987.

H. R. Hartson and &. P. Gray, Temporal Aspects of Tasks in the User Action Notation, Human???Computer Interaction, vol.7, issue.1, pp.1-45, 1992.
DOI : 10.1207/s15327051hci0701_1

]. G. Harvey, Understanding HyperCard, for version 1, 1988.

&. F. Hayes-roth and . Hayes-roth, A Cognitive Model of Planning*, Cognitive Science, vol.3, issue.4, pp.275-310, 1979.
DOI : 10.1207/s15516709cog0304_1

D. Hix and &. R. Hartson, Developing User Interfaces, Ensuring Usability through Product & Process, p.381, 1993.

C. A. Hoare, Communicating Sequential Processes, 1985.

B. H. Hoshstrasser, &. N. Geddes, A. Howes, and &. S. Payne, OPAL, Operator Intent Inferencing for Intelligent Operator Support Systems Search Technology, Inc., 4725 Peachtree Corners Circle Display based competence: Towards user models for menu driven interfaces, International Journal of Man-Machine Studies, vol.30092, issue.6, pp.33-637, 1989.

]. A. Howes and &. M. Young, Predicting the learnability of task-action mappings, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.113-118, 1991.
DOI : 10.1145/108844.108861

]. R. Jacob, What you look at is what you get, Proceedings of CHI'90 conference, pp.11-18, 1990.
DOI : 10.1145/2978577

]. R. Jeffries, J. R. Miller, C. Wharton, and &. M. Uyeda, User interface evaluation in the real word : a comparison of four techniques, Proceedings of the CHI'91, 1991.

]. H. Johnson and &. P. Johnson, Task knowledge structures: Psychological basis and integration into system design, Conference on Computer Human Interaction, pp.119-124, 1991.
DOI : 10.1016/0001-6918(91)90003-I

P. Johnson, H. Johnson, and &. P. Markopoulos, Task based design: mapping between user task models and user interaction dialogues, Proceeding's of the 11th Interdisciplinary Workshop on Informatics and Psychology: Task Analysis in Human-Computer Interaction, 1992.

]. P. Johnson, S. Wilson, P. Markopoulos, and &. J. Pycock, ADEPT-Advanced Design Environment for Prototyping with Task Models, InterCHI'93 proceedings, p.56, 1993.

D. Kieras and &. P. Polson, An approach to the formal analysis of user complexity, International Journal of Man-Machine Studies, vol.22, issue.4, pp.365-394, 1985.
DOI : 10.1016/S0020-7373(85)80045-6

C. Kolski, Contribution a l'ergonomie de conception des interfaces graphiques homme-machine dans les procédés industriels : application au système expert SYNOP, Thèse présentée à l'Université de Valenciennes et du Hainaut-Cambrésis, 1989.

S. Krakoviak, M. Meysembourg, H. Nguyen, M. Van, &. C. Riveill et al., Design and implementation of an object-oriented, strongly typed language for distributed applications, Journal of Object-Oriented Programming

L. Petit-robert and ]. P. Robert, Le Petit Robert 1, dictionnaire alphabétique et analogique de la langue française, 1992.

F. Lerch, M. Mantei, and &. J. Olson, Skilled financial planning : The Cost of Translating Ideas into Actions, Proceedings of CHI'89, pp.121-126, 1989.

C. Lewis, P. Polson, C. Wharton, and &. J. Rieman, Testing a Walkthrough Methodology for Theory-Based Design of Walk-Up-and-Use Interfaces Instanciation of task analysis in a structured method for user interface design, Proceedings of the CHI'91 Conference on Computer Human Interaction Proceeding's of the 11th Interdisciplinary Workshop on Informatics and Psychology: Task Analysis in Human- Computer Interaction, pp.235-242, 1990.

]. K. Lim and &. J. Long, Structured notations for human factors specification " , in Proceeding's of the Ergonomics Society's 1993 Annual Conference, pp.13-16, 1993.

C. Sa, T. Saône-croix-rousse-quai, J. Gillet, ]. J. Long, and &. J. Dowell, Conceptions of the Discipline of HCI : Craft, Applied Science, and Engineering Evaluation for practice, Proceedings of the Fifth Conference of the tutorial, Ergonomics Society 1990 Annual Conference, pp.69316-69320, 1987.

J. Löwgren and &. T. Nordqvist, A Knowledge-Based Tool for User Interface Evaluation and its Integration in a UIMS, Human-Computer Interaction- INTERACT'90, pp.395-400

J. Mccall, Factors in Software Quality, General electric Eds, 1977.

J. Mcdermid and &. K. Ripkin, Life cycle support in the Ada environment, ACM SIGAda Ada Letters, vol.III, issue.1, 1984.
DOI : 10.1145/998373.998379

]. A. Mclean-91, R. Mclean, V. Young, &. T. Bellotti, and . Moran, Questions, Options, and Criteria: Elements of Design Space Analysis, Human-Computer Interaction, vol.2, issue.3, pp.201-250, 1991.
DOI : 10.1207/s15327051hci0603&4_2

M. Macleod, DRUM, Diagnostic Recorder for Usability Measurement, 1993.

]. J. Miller, R. Jeffries, C. Wharton, and &. M. Uyeda, User interface evaluation in the real word : a comparison of four techniques, Proceedings of the CHI'91

]. T. Moran, The Command Language Grammar: a representation for the user interface of interactive computer systems, International Journal of Man-Machine Studies, vol.15, issue.1, pp.3-50, 1981.
DOI : 10.1016/S0020-7373(81)80022-3

]. T. Moran, Getting into a system, Proceedings of the SIGCHI conference on Human Factors in Computing Systems , CHI '83, 1983.
DOI : 10.1145/800045.801578

J. N. Mosier and &. S. Smith, Application of guidelines for designing user interface software, thèse présentée à l'université des Sciences et Techniques du Languedoc, pp.39-46, 1986.
DOI : 10.1080/01449298408901751

]. A. Neal and &. M. Simons, Playback, Proceedings of the SIGCHI conference on Human Factors in Computing Systems , CHI '83, pp.78-82, 1983.
DOI : 10.1145/800045.801585

]. J. Nielsen-90a, &. R. Nielsen, and . Molich, Heuristic evaluation of user interfaces, Proceedings of the SIGCHI conference on Human factors in computing systems Empowering people, CHI '90, pp.349-256, 1990.
DOI : 10.1145/97243.97281

]. J. Nielsen-90b, &. R. Nielsen, and . Molich, Improving a human-computer dialogue : What designers know about traditionnal interface design, 1990.

]. J. Nielsen and &. J. Levy, Measuring usability: preference vs. performance, Communications of the ACM, vol.37, issue.4, pp.66-75, 1994.
DOI : 10.1145/175276.175282

]. D. Norman-86 and . Norman, Cognitive Engineering, pp.31-61, 1986.

N. and ]. V. Normand, Le modèle SIROCO : de la spécification conceptuelle des interfaces utilisateur à leur réalisation, 1992.

V. Normand, Task modelling in HCI : purposes and means, Thomson CSF, Division systèmes défense et contrôle, 7 rue des Mathurins, 1992.

S. J. Payne and &. R. Green, Task-Action Grammars: a model of the mental representation of task languages, Human-Computer Interaction, pp.93-133, 1986.

J. Pierrel, Dialogue Oral Homme-Machine, Hermes, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00525166

I. Pierret-goldreich, &. D. Delouis, and . Scapin, Un Outil d'Acquisition et de Représentation des Taches Orienté-Objet, 1989.

R. M. Pirsig, Traité du zen et de l'entretien des motocyclettes, Editions du Seuil, 1978.

P. Pleczon, Eléments de méthodologie et outils pour l'assistance à l'opérateur: application à la conduite automobile, 1992.

R. S. Pressman, Software engineering, a practioner's approach, 1987.

M. Rauterberg, Cognitive complexity in man computer interaction : an empirical method of a quantitative measurement, Proceeding's of the 11th Interdisciplinary Workshop on Informatics and Psychology: Task Analysis in Human-Computer Interaction, 1992.

S. Ravden and &. G. Johnson, Evaluating usability of human-computer interfaces : a practical method Ellis Horwood books in information technology Human Error, 1989.

G. Simons, A project planning and development process for small teams, Communication of the ACM, vol.36, issue.10, 1993.

J. F. Richard, Les activités mentales. Comprendre, raisonner, trouver des solutions, 1990.

W. W. Royce, Managing the development of large software systems, Proc. WESTCON, 1970.

D. Salber and &. J. Coutaz, Applying the Wizard of Oz technique to the study of multimodal systems, 1993.
DOI : 10.1007/3-540-57433-6_51

D. L. Scapin, Des critères ergonomiques pour l'évaluation et la conception d'interfaces utilisateurs, Acte du XXVI Congrès de la SELF, pp.3-5, 1990.

&. D. Schoman and . Ross, Structured Analysis for requirements definition Décrire des tâches selon les objectifs des opérateurs. De l'interview à la formalisation, IEEE Trans. Software Eng. SE- revue Travail humain, vol.3, issue.54 3, pp.6-15193, 1977.

A. J. Sellen, G. P. Kurtenbach, and &. W. Buxton, The Prevention of Mode Errors Through Sensory Feedback, Human-Computer Interaction, vol.26, issue.2, pp.141-164, 1992.
DOI : 10.1207/s15327051hci0702_1

B. Senach, Evaluation ergonomique des interfaces homme-machine : une revue de la littérature, 1990.

B. Shneiderman, Multiparty Grammars and Related Features for Defining Interactive Systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.12, issue.2, pp.148-154, 1982.
DOI : 10.1109/TSMC.1982.4308798
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4189

A. C. Siochi and &. D. Hix, A study of computer-supported user interface evaluation using maximal repeating pattern analysis, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.301-305, 1991.
DOI : 10.1145/108844.108926

]. S. Smith-86, &. J. Smith, and . Mosier, A design evaluation checklist for user-system interface software, 1982.

P. N. Sukaviriya and &. J. Foley, Supporting adaptative interfaces in a knowledge-based user interface environment, Proceedings of the Intelligent User Interfaces'93 conference, 1993.

A. Sutcliffe and &. P. Faraday, Designing Presentation in Multimedia Interfaces, CHI'94 proceedings, pp.92-98, 1994.

J. Tarby, Gestion automatique du dialogue homme-machine à partir de spécifications Conceptuelles, 1993.

H. Tardieu, &. R. Rochfeld, and . Coletti, La méthode Merise, Edition des Organisations, 1983.

]. M. Tauber, ETAG: Extended Task-Action Grammar -A language for the description of the user's task language, Proceedings of INTERACT'90, D. Diaper et al, 1990.

D. Terzopoulos and &. K. Waters, Analysis of facial images using physical and anatomical models, [1990] Proceedings Third International Conference on Computer Vision, pp.727-732, 1990.
DOI : 10.1109/ICCV.1990.139628

C. J. Theaker, R. Phillips, T. M. Frost, and &. W. Love, HIMS : a tool for HCI evaluations " , HCI'89, People and, pp.5-8, 1989.

H. Thovtrup and &. J. Nielsen, Assassing the usability of a user interface standard, Proceedings of the CHI'91 Conference on Computer Human Interaction, pp.335-341, 1991.

]. A. Valentin, G. Vallery, and &. R. Lucongsang, L'évaluation ergonomique des logiciels, une démarche itérative de conception, ANACT, Colection Outils et Méthode, 151 pages, 1993.

J. Vanderdonckt and J. C. Wanner, Modèle de la présentation d'une application : les règles ergonomiques " , rapport IHM/Ergo/3, Facultés Universiatires Notre-Dame de la Paix, Institut d'Informatique, 21 rue Grandgagnage, B-5000 Namur, 27 Août, La Recherche, 1989.

]. D. Watt-87, B. Watt, &. W. Wichmann, and . Finlay, Ada : Language and Methodology, 1987.

B. F. Webster, F. Whitefield, &. J. Wilson, and . Dowell, The NeXT Book A framework for human factors evaluation, Behaviour and information technology, vol.10, issue.1, pp.65-79, 1989.

]. J. Whiteside, J. Bennett, and &. K. Holtzblatt, Usability Engineering: Our Experience and Evolution, Handbook of Human-Computer Intercation, M. Helander, 1988.
DOI : 10.1016/B978-0-444-70536-5.50041-5

R. M. Young and &. J. Whittington, A knowledge Analysis of interactivity, Proceedings of INTERACT'90, pp.207-212, 1990.

A. L. Yuille, Deformable Templates for Face Recognition, Journal of Cognitive Neuroscience, vol.26, issue.2, pp.59-70, 1991.
DOI : 10.1068/p130505

.. Le-modèle-en-spirale, 19 1.4. Evaluation et qualité en génie logiciel

F. Finalité, Axes, p.47

E. , U. Goms, E. Cct, E. Siroco, A. et al., 56 3.2.3. Modèles de tâche et évaluation, 3.2.2. Modèles de tâche et spécifications externes, p.64

.. Modèles-de-tâche-et-formalisme, Eléments directeurs : fonctions et concepts, p.70

.. Techniques-avec-capture-automatique, 101 3.2.1, Hammontree, p.102

.. Techniques-d-'évaluation, 103 3.3.2. Où capture et analyse automatique cohabitent : Maximal Repeating Pattern (MRP), p.107

.. Techniques-avec-critique-automatique, 107 3.4.1. Knowledge-based Review of user Interfaces, p.110

.. Présentation-générale, 153 2.2. Les procédures élémentaires considérées pour le graphe des séquences, ., p.157

É. Analyses-heuristiques-et-apports-de-l-'analyse-fournie-par, 174 3.4.1. Bases de l'évaluation heuristique de l'expert, p.174

L. Retour-sur, 176 3.4.2.1. Résultats de l'évaluation de l'expert, p.177

.. Les-perspectives-de-travail, Les perspectives à court et moyen terme

D. Extrait-de-script-du, 235 Stack, p.236

.. Texte-de-l-'évaluation-retranscrite-par-ian-denley, 248 4.1. Evaluation du DAB modifié, p.249