. Dans-le-second-cas, toute logique des prédicats (d'ordre 0 ou 1 jusqu'à présent) s'avère faisable, applicable et efficace lorsque des outils logiciels automatiques sont prévus : il suffit alors d'exprimer une nouvelle règle dans sa représentation interne pour qu'elle soit automatiquement considérée, pourvu que cela soit possible. Si ce n'est pas possible ou si l'opérationnalisation de la règle nécessite une procédure plus complexe

. Scapin, certaines règles se montraient difficiles à faire rentrer dans une telle représentation interne car elles contenaient des caractéristiques contextuelles, soit qui ne sont pas exprimables en conditions simples sur un attribut (par exemple, le fait que le niveau de l'utilisateur corresponde ou non à : "expérimenté "), soit qui sont exprimables sous forme de tels attributs, mais ces attributs s'avérant absents

. Au-contraire, les règles contractées sont dès le départ cohérentes entre elles puisqu'il s'agit précisément d'un des objectifs assignés à la contraction : aboutir à une cohérence interne en payant le prix d'une éviction des règles conflictuelles, moins importantes, hors propos, contradictoires,? Cette cohérence interne obtenue par construction ne se

L. 'extension, revient à une réexpression détaillée qui ne devrait pas introduire d'incorrection supplémentaire à ce niveau, si ce n'

A. M. Sagar-m, La conception ergonomique des interfaces des systèmes interactifs : une démarche centrée sur la modélisation de la tâche, Génie Logiciel, vol.44, pp.31-37, 1997.

A. L. and F. J. Saddler-h, Making It Macintosh: Designing the message when the message is design, Interactions, pp.10-19, 1994.

W. W. Banks, . E. Gilmore-w, and G. S. Blackman-h, Human Engineering Design Considerations for Cathode Ray Tube-Generated Displays, II, Document NUREG CR-3003/EGG- 2230, 1983.

B. C. Scapin-d, Evaluating a User Interface with Ergonomic Criteria, International Journal of Human-Computer Interaction, vol.7, pp.105-121, 1995.

. Berger-t, Contribution à l'étude de l'activité cognitive de l'opérateur et à l'évaluation de sa charge de travail, Thèse de Doctorat, 1992.

B. F. Vanderdonckt, Expressing Guidelines into an Ergonomical StyleGuide for Highly Interactive Applications, Adjunct Proceedings of the Conference on Human Factors in Computing Systems (INTERCHI'93), pp.35-36, 1993.

. F. Bodart, L. M. Hennebert-a, and . J. Vanderdonckt, Towards a dynamic strategy for computer-aided visual placement, Proceedings of the workshop on Advanced visual interfaces , AVI '94, pp.78-87, 1994.
DOI : 10.1145/192309.192328

. F. Bodart and . J. Vanderdonckt, On the Problem of Selecting Interaction Objects, Proceedings of British Conference on Human-Computer Interaction (HCI'94), pp.163-178, 1994.
DOI : 10.1017/CBO9780511600821.013

B. F. Hennebert-a, L. J. Provot-i, . Zucchinetti-g, and . J. Vanderdonckt, Key Activities for a Development Methodology of Interactive Applications

. Palanque, Critical Issues in User Interface Systems Engineering, pp.109-134, 1995.

D. I. Hedman-l, H. B. Papadopoulos-k, C. A. Hine-n, and . Whitefield-a, Usability Principles for Service Design, Computer, Communication and Usability : Design Issues, 1993.

. De-souza-f, The Use of Guidelines in Menu Interface Design: Evaluation of a Draft Standard, Proceedings of the 3 rd IFIP TC13 Conference on Human-Computer Interaction (INTERACT'90), pp.435-440, 1990.

. D. Diaper, Task analysis for human-computer interaction, 1989.

F. C. Palanque-p and . J. Vanderdonckt, User Interface Evaluation: is it Ever Usable?

K. Anzai, H. Ogawa, and . Mori, Symbiosis of Human and Artifact: Human and Social Aspects of Human- Computer Interaction Advances in Human Factors, Proceedings of 6 th International Conference on Human-Computer Interaction (HCI International'95), pp.329-334, 1995.

F. F. Liberati-v and . J. Vanderdonckt, Applying Ergonomic Rules for Interactive Computer Systems, Proceedings of 1 st International Conference on Applied Ergonomics (ICAE'96), pp.117-122, 1996.

M. H. Fritzsche, Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues, Interacting with Computers, vol.12, issue.3, 1999.
DOI : 10.1016/S0953-5438(99)00012-0

. L. Goffinet and . M. Noirhomme-fraiture, Automatic cross-referencing of HCI guidelines by statistical methods, Interacting with Computers, vol.12, issue.2, 1999.
DOI : 10.1016/S0953-5438(99)00010-7

G. D. and A. D. Stephanidis-c, Integrated support for working with guidelines: the Sherlock guideline management system, Interacting with Computers, vol.11, issue.4, 1999.

G. M. Kolski and C. , Evaluation des interfaces homme-machine lors du développement des systèmes interactifs, Technique et Science Informatiques, vol.15, issue.3, pp.265-296, 1996.

H. L. Sharratt-b, User-centred hypertext design : the application of HCI design principles and guidelines, Hypertext : State of the Art, pp.252-259, 1990.

J. D. and C. M. Vanderdonckt, Visual Display Design: a Comparison of Two Methodologies, Proceedings of 1 st International Conference on Applied Ergonomics (ICAE'96), pp.662-667, 1996.

K. B. Buckner-k, A taxonomy of design guidance for hypermedia design, Interacting with Computers, vol.11, issue.3, 1999.

. Kolski-c and . Millot-p, A rule-based approach to the ergonomic ???static??? evaluation of man-machine graphic interface in industrial processes, International Journal of Man-Machine Studies, vol.35, issue.5, pp.657-674, 1991.
DOI : 10.1016/S0020-7373(05)80182-8

. A. Marcus, Graphic Design for Electronic Documents and User Interfaces, 1991.

M. J. Schvaneveldt-r, The Application of user Knowledge to Interface Design Cognitive Science And Its Applications for Human-Computer Interaction, pp.289-338, 1988.

M. F. Kolski-c and R. M. , A model based approach to semi-automated generation for process control interactive applications, Interacting with Computers, vol.11, issue.4, 1999.

. Nie and M. J. Nielsen, Heuristic Evaluation of User Interfaces, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI'90), pp.249-256, 1990.

R. P. Holdaway-k, . Isensee-s, F. J. Buie-e, and W. J. Lund-a, User interface guidelines and standards: progress, issues, and prospects, Interacting with Computers, vol.11, issue.3, 1999.

S. R. Lund-a, Development of a Usable Graphical Interface Design Guide Human-Computer Interaction: Software and Hardware Interfaces Advances in Human Factors, Proceedings of the 5 th International Conference on Human-Computer Interaction (HCI International'93), pp.21-26, 1993.

S. S. Mosier-j, Design guidelines for the user interface software, 1986.

S. D. Wasserman-a, Quantitative Measures of the Spatial Properties of Screen Designs, in: Proceedings of 3 rd IFIP TC13 Conference on Human-Computer Interaction (INTERACT'90), pp.1125-1133, 1990.

T. J. Barthet-m, D. The, and . Method, Computer-Aided Design of User Interfaces, Proceedings of the 2 nd International Workshop on Computer-Aided Design of User Interfaces (CADUI'96), pp.95-119, 1996.

T. L. Schwartz-d, The Use of Guidelines in Interface Design, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI'91), pp.329-333, 1991.

T. H. Nielsen-j, Assessing the Usability of a User Interface Standard, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI'91), 2002.

. T. Van-ravenzwaai-e, The Design of Design Guidelines for Man-Machine Interfaces L'homme et l'écran: aspects de l'ergonomie en informatique, Actes du Colloque L'Ergonomie en Informatique, pp.175-182, 1986.

V. J. Bodart-f, Encapsulating Knowledge for Intelligent Automatic Interaction Objects Selection, Proceedings of ACM Conference on Human Factors in Computing Systems (InterCHI'93), pp.424-429, 1993.

. Van and . J. Vanderdonckt, Guide ergonomique des interfaces homme-machine, 1994.

V. J. Nordbyn, . H. Helmersen-p, and A. J. Gilmore-d, Accessing Guidelines Information with Sierra, Proceedings of 5 th IFIP TC13 Conference on Human-Computer Interaction (INTERACT'95), pp.311-316, 1995.