A. Johnny, C. Stéphane, J. Yannick, and S. Stéphane, Conception des interfaces : et si nous analysions enfin la tâche du programmeur ?, IHM'98, 1998.

T. Addis, A. Blackwell, P. Brna, D. Gooding, J. Kyle et al., Thinking with Diagrams", discussion électronique, 1998.

G. Arsac, La construction du concept de figure chez les élèves de 12 ans, Proceedings of the thirteenth conference of International Group for Psychology of Mathematics Education, Éd. GR didactique et acquisitions des connaissances scientifiques, 46 rue Saint Jacques, 75005 Paris, pp.85-92, 1989.

M. Augier, Les logiciels", Que sais-je ?, 1997.

D. Avram, T. Savatier, M. Weidenfeld, and S. O. , LOGO -Manuel de référence, 1984.

S. Balbo, N. Ozkan, S. Lu, and C. Paris, Task models in industrial context : how do they fit ?, 10èmes journées sur l'ingénierie des interfaces homme-machine (IHM98), 1998.

J. Barwise and J. Etchemendy, Visual information and Valid Reasoning, Visualisation in Teaching and Learning Mathematics, 1991.

F. Bellemain, Conception, réalisation et utilisation d'un logiciel d'aide à l'enseignement de la géométrie : Cabri-géomètre, Thèse, 1992.

F. Bellemain and B. Capponi, Specificities of the organization of a teaching sequence using the computer, Educational Studies in Mathematics, vol.2, issue.2, pp.59-97, 1992.
DOI : 10.1007/BF00302314

F. Bellemain, Micromonde, manipulation directe et enseignement de la géométrie : un éclairage pour comprendre l'évolution de Cabri-géomètre vers Cabri-géomètre II", Université d'été "Cabri-géomètre" de l'ordinateur à la calculatrice, De nouveaux outils pour l'enseignement de la géométrie, pp.171-202, 1996.

A. F. Blackwell, Metacognitive theories of visual programming: what do we think we are doing?, Proceedings 1996 IEEE Symposium on Visual Languages, pp.240-246, 1996.
DOI : 10.1109/VL.1996.545293

A. Blackwell, K. Whitley, J. Good, and M. Petre, Programming in Picture, Pictures of Programs Thinking with Diagrams, discussion électronique, 1998.

A. Blackwell, K. Whitley, J. Good, and M. Petre, Discussion Paper: Programming", in Proceedings of Thinking with Diagrams 98: Is there a science of diagrams, 1998.

A. F. Blackwell and Y. Engelhardt, A taxonomy of diagram taxonomies", in Proceedings of Thinking with Diagrams 98: Is there a science of diagrams?, pp.60-70, 1998.

M. Boshernitsan and M. Downes, Visual Programming Languages: a Survey Rapport de Recherche, CS 263 Final Project, 1997.

D. Bouhineau, Constructions automatiques de figures géométriques et Programmation Logique avec Contraintes, Thèse, 1997.

D. Bouhineau, Vers une approche déclarative pour les logiciels de dessins géométriques, Environnements Interactifs d'Apprentissage avec Ordinateur, 1995.

Y. Brihault and M. Duboué, Aspects cognitifs d'une interface pour l'apprentissage de la programmation, 1993.

B. Margaret, M. , and M. J. Baker, A Classification System for Visual Programming Languages, Journal of Visual Languages and Computing, pp.287-300, 1994.

B. Margaret, R. Hossli, T. Pulliam, B. Vanvoorst, and X. Yang, Toward Visual Programming Languages for Steering in Scientific Visualization: a Taxonomy, IEEE Computational Science & Engineering, pp.44-62, 1994.

Y. Carbonneaux, Conception et réalisation d'un environnement informatique sur la manipulation directe d'objets mathématiques, l'exemple de Cabri-graphs, Thèse, 1998.

C. Luca, Building User Interfaces by Direct Manipulation Digital Equipment Corporation, ACM Siggraph Symposium on User Interface Software, pp.152-166, 1987.

B. Capponi, B. Geneves, and V. Hoyos, Simulation of Drawing Machines on Cabri- II and its dual Algebraic Symbolisation : Descartes' Machine & Algebraic Inequality, CERME, vol.1, 1998.

B. Capponi and C. Laborde, Cabri-classe. Collège, Archimède, 1994.

S. K. Chang, Languages"in Visual Languages, pp.1-7, 1986.

P. Charrière, Apprivoiser la géométrie avec CABRI-GÉOMÈTRE, Ed. Monographie du CIP, 1996.

C. Joëlle, Interfaces homme-ordinateur, Conception et réalisation, Dunod informatique, 1990.

C. Cilheda, « Cabri et la simulation d'expériences aléatoires », actes de CabriWorld, 1999.

C. Roger, « Faire de la géométrie en jouant avec Cabri-géomètre », 2 tomes, 1995.

A. Cypher, Watch What I Do: Programming by Demonstration, 1993.

A. Cypher, EAGER, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.205-218, 1993.
DOI : 10.1145/108844.108850

A. Cypher and S. D. , KIDSIM: End User Programming of Simulation, Proceedings of CHI '95, 1995.

C. Desmoulins, La détection de solutions particulières dans TALC : un approche logique basée sur des extensions de l'énoncé du problème, 1995.

C. Desmoulins, Étude et réalisation d'un système tuteur pour la construction de figures géométriques, Thèse, 1994.

M. Erwig and &. Meyer, Heterogeneous visual languages-integrating visual and textual programming, Proceedings of Symposium on Visual Languages, pp.318-325, 1995.
DOI : 10.1109/VL.1995.520825

M. Erwig, Abstract Visual Syntax, 2th IEEE Int Theory of Visual Langages, pp.15-25, 1997.

P. Girard, Environnement de programmation pour non-programmeurs et paramétrage en conception assistée par ordinateur : le système Like, Thèse, 1992.

T. Green and A. Blackwell, A tutorial on cognitive dimensions, 1998.

T. R. Green, Cognitive approaches to software comprehension: results, gaps and limitations", extended abstract of talk at workshop on Experimental Psychology in Software Comprehension Studies 97, 1996.

T. R. Green and M. Petre, Usability Analysis of Visual Programming Environments: A ???Cognitive Dimensions??? Framework, Journal of Visual Languages & Computing, vol.7, issue.2, pp.131-174, 1995.
DOI : 10.1006/jvlc.1996.0009

T. R. Green and R. Navarro, Programming Plans, Imagery, and Visual Programming, pp.95-139, 1995.
DOI : 10.1007/978-1-5041-2896-4_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5337

M. Guillerault, Le point de vue de Cabri-géomètre II sur les coniques", Université d'été "Cabrigéomètre" de l'ordinateur à la calculatrice, De nouveaux outils pour l'enseignement de la géométrie, pp.127-170, 1996.

D. Halbert, Programming by example, 1984.

J. G. Hays and M. M. Burnett, A Guided Tour of Forms, Dept. of Computer Science, vol.3, 1995.

A. Heydon and G. Nelson, The Juno-2 Constraint-Based Drawing Editor, RR 131a, digital System Resaerch Center, 1994.

D. Hoftsadter, . Gödel, . Escher, L. Bach, and . Brins-d-'une-guirlande-eternelle, InterEditions,1985, idée originale publiée aux Etats Unis sous le titre "Gödel, Escher, Bach : an Eternal Golden Braid, 1979.

S. Horwitz, T. Reps, and D. Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems, vol.12, issue.1, pp.26-60, 1993.
DOI : 10.1145/77606.77608
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4405

B. Ibrahim, A. Aubord, B. Laustsen, and M. Tepper, Techniques de Génie Logiciel pour l'EAO", Conference on "Enseignement et Apprentissage avec l'Ordinateur, Martigny, pp.120-129, 1989.

B. Ibrahim, Une nouvelle étape dans la convivialité: les logiciels auto-éducatifs", Revue Informatique et Technologies modernes dans l'Enseignement et de la Formation, pp.1254-3985, 1995.

I. Bertrand, Diagrammatic representation of data types and data manipulations in a combined dataand control-flow language, IEEE International Symposium on Visual Languages, 1998.

M. Jarke, Scenarios for Modelling, Communications of the ACM, vol.42, p.1, 1999.

B. E. John, P. L. Miller, B. A. Myers, C. M. Neuwirth, and S. A. Shafer, Human- Computer Interaction in the School of Computer Science, 1992.

C. Kheramane, Spécification de présentations multimédia structurées interactives, Thèse, Institut National Polytechnique de Grenoble (INPG), 1997.

B. W. Kernighan and D. M. Ritchie, The C programming language, 1978.

P. Klint, A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.176-201, 1993.
DOI : 10.1145/151257.151260

C. Laborde and B. Capponi, Cabri-géomètre constituant d'un milieu pour l'apprentissage de la notion de figure géométrique, Recherche en didactique des mathématiques, vol.14, pp.1-2, 1994.

C. Laborde and J. Laborde, Micromondes et environnements d'apprentissage Actes des XIII Journées francophones sur l'informatique, pp.157-177, 1991.

L. Jean-marie, Explorations en géométries non euclidiennes Université d'été "Cabrigéomètre" de l'ordinateur à la calculatrice, De nouveaux outils pour l'enseignement de la géométrie, pp.105-126, 1996.

C. Laborde and J. Laborde, Des connaissances abstraites aux réalités artificielles, le concept de micromonde Cabri, Environnement Interactifs d'Apprentissage avec Ordinateur (tome 2), pp.29-41, 1995.

L. Jean-marie, Intelligent Microworlds and Learning Environments", in Intelligent Learning Environments: The Case of Geometry, pp.113-132, 1989.

K. Marriott, B. Meyer, and K. Wittenburg, A survey of Visual Langage Specification and Recognition, Theory of Visual Languages, 1996.

K. Marriott and B. Meyer, Towards a Hierarchy of Visual Langage, IEEE Symp. on Visual Languages, 1996.

K. Marriott and B. Meyer, Visual Language Theory, 1998.

T. Masui and K. Nakayama, Repeat and Predict -Two Keys to Efficient Text Editing, Proceedings of CHI'94, pp.118-123, 1994.
DOI : 10.1145/191666.191722
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.367

P. Mathelot, L'informatique", Que sais-je ?, 1969.

D. Maulsby and &. Turransky, Appendix A :"A programming by Demonstration Chronology : 23 years of examples Watch What I Do : Programming by Demonstration, p.html, 1993.

D. Maulsby, Including Procedures Interactively: Adventures with Metamouse, 1998.
DOI : 10.1207/s15327051hci0701_2
URL : http://prism.ucalgary.ca//bitstream/1880/45594/2/1990-388-12.pdf

R. G. Mcdaniel and B. A. Myers, Improving Demonstration Using Better interaction Techniques, 1997.

A. Brad, W. Myers, and . Buxton, Creating Highly-Interactive and Graphical User Interface by Demonstration, pp.249-259, 1986.

M. Brad and A. , Demonstration Interface : A Step Beyond Direct Manipulation, IEEE Computer, vol.90, pp.61-73, 1990.

M. Brad and A. , Peridot : Creating User Interfaces by Demonstration Watch What I Do : Programming by Demonstration, pp.125-153, 1993.

M. Brad and A. , UIMSs, Toolkits, Interface Buiders", révision de "User Interface Sotware Tools, ACM Transactions on Conputer-Human interaction, vol.2, issue.1, pp.64-103, 1995.

M. Brad and A. , A Brief History of Human Computer Interaction Technology", rapport de recherche CMU-CS-96-163 et CMU-HCII-96-103 de l'université de Carnegie Mellon, 1996.

N. Jocelyne, La manipulation directe en interface homme-machine, thèse de doctorat d'état, Sciences et Techniques du Languedoc, 1990.

H. R. Nielson and F. Nielson, Semantics with Applications: a formal introduction, 1992.

J. Nielsen, Noncommand user interfaces, Communications of the ACM, vol.36, issue.4, pp.83-99, 1993.
DOI : 10.1145/255950.153582

P. Olivier, Diagrams and Machine Reasoning, Thinking with Diagrams, 1997.

J. F. Pane, C. A. Ratanamahatana, and B. A. Myers, Studying the language and structure in non-programmers' solutions to programming problems, International Journal of Human-Computer Studies, vol.54, issue.2, 1998.
DOI : 10.1006/ijhc.2000.0410

J. F. Pane and B. A. Myers, Usability Issues in the Design of Novice Programming Systems, 1996.

B. Parzysz, ?Knowing? vs ?seeing?. problems of the plane representation of space geometry figures, Educational Studies in Mathematics, vol.19, issue.1, pp.79-92, 1988.
DOI : 10.1007/BF00428386

M. Petre, A. F. Blackwell, and T. R. Green, Cognitive questions in software visualisation Software Visualization: Programming as a Multi-Media Experience, 1995.

J. Potier, Contribution à la notion de programmation par démonstration. Conception sur exemple, mise au point et génération de programmes portables de géométrie paramétrée dans le système EBP, Thèse, 1995.

V. Quint, Une approche de l'édition structurée des documents, Thèse de doctorat d'État, 1987.

Q. Vincent, N. Marc, and A. Jacques, Towards document engineering, Rapport IRISA, PI, vol.536, pp.5-06, 1990.

J. Rekers, Parser Generation for Interactive Environments, 1992.

J. Rekers, On the use of Graph Grammars for defining the Syntax of Graphical Languages", Colloquium on Graph Transformation and its application in Computer Science, 1994.

P. R. , E. S. Dictionnaire, and L. Robert, Micro-Robert de poche : dictionnaire du français promordial, 1983.

M. Salcedo, Alliance sur l'internet : support pour l'édition coopérative de documents structurés sur un réseau à grande distance, Thèse de l'INPG, 1998.

G. Rothermel, L. Li, C. Dupuis, and M. Burnett, What you see is what you test: a methodology for testing form-based visual programs, Proceedings of the 20th International Conference on Software Engineering, pp.198-207, 1998.
DOI : 10.1109/ICSE.1998.671118

M. Scaife, P. Cheng, R. Lowe, Y. Rogers, and D. Rosenberg, TwD : in the Head or in the World ?", contribution des sciences cognitives à "Thinking with Diagrams", discussion électronique, 1998.

D. Scapin, Une méthode analytique de description des tâches, Colloque ingénierie des interfaces homme-machine, 1989.

P. Scholl, M. Fauvet, F. Lagnier-;-f, and . Maraninchi, Cours d'informatique : langages et programmation, 1993.

N. Shu, Visual Programming Languages: A Perspective and a Dimensional Analysis, Visual Languages, pp.10-34, 1986.
DOI : 10.1007/978-1-4613-1805-7_2

B. Shneiderman, The future of interactive systems and the emergence of direct manipulation???, Behaviour & Information Technology, vol.7, issue.3, pp.237-256, 1982.
DOI : 10.1080/01449298208914450

D. C. Smith, PYGMALION: A Creative Programming Environment, 1975.
DOI : 10.1007/978-3-0348-5744-4

A. Sugiura and Y. Koseki, Simplifying macro definition in programming by demonstration, Proceedings of the 9th annual ACM symposium on User interface software and technology , UIST '96, pp.173-182, 1996.
DOI : 10.1145/237091.237118

I. B. Sutherland, Sketchpad a man-machine graphical communication system, Papers on Twenty-five years of electronic design automation , 25 years of DAC, pp.329-346, 1963.
DOI : 10.1145/62882.62943
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4290

S. Tessier, Les fichiers de Cabri-II", publication interne, 1998.

T. A. Wagner, Incremental Analysis for Real Languages, PLDI'97 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.15-18, 1995.

S. Yang, M. Burnett-margaret, E. Dekoven, and M. Zloof, Representation Design Benchmarks: A Design-Time Aid for VPL Navigable Static Representations, Journal of Visual Languages & Computing, vol.8, issue.5-6, 1995.
DOI : 10.1006/jvlc.1997.0047

M. Zacklad, Cinq dimensions pour la modélisation des interfaces homme-machine, ERGO-IA'96, 1996.

J. E. Ziegler and K. Fähnrich, Direct Manipulation, Handbook of Human-Computer Interaction, pp.123-133250, 1988.
DOI : 10.1016/B978-0-444-70536-5.50011-7

W. Bl, DS:1 1, GT:0, V, nSt Const: 3, Val: 1.66_ p: 0, Times, S: 14 C: 15 Fa, pp.61-68

. Pbiss, Mth:1, 0, 0

M. R. Int and W. , DS:1 1, GT:1, V, nSt Cir, :1 1, GT:0, V, nSt Figure description: Window center x: 1.2 y: -2, 1957.

W. Bl, DS:1 1, GT:0, V, nSt Const: 3, Val: 1.57938103206428 p: 0, Times, pp.14-15

. Int, VN:1 W, t, DS:1 1, GT:1, V, nSt Const, p.17, 32897.

R. , W. Ma, and R. , DS:1 1, GT:1, V, nSt 11

.. Nécessité-de-la-vision-et-de-la-manipulation-textuelle, 22 1°) Limites au cas pas cas, p.23

.. Accès-À-la-structure-logique, 32 a. Fichiers textuels d'enregistrement33 b. Vues textuelles ou graphiques intégrées (=> identification immédiate des objets)37 c. Nécessité de la vue textuelle dynamique et synchronisée (modification "in extenso, ., p.41

.. Une-petite-histoire-de-l-'informatique, 43 1°) De la programmation binaire aux premiers langages algorithmiques44 a. Les assembleurs et macro-assembleurs45 c. Les premiers langages algorithmiques universels, Méthodologie utilisée, p.46

.. De-nouveaux-moyens-pour-aborder-la-programmation, 60 2°) Une diversification des intervenants et une évolution des tâches, 61 3°) La place des diagrammes comme aide, p.63

C. Environnements-pour-non-programmeurs and .. , 64 1°) Définition de la programmation visuelle, p.64

.. Ceux-qui-sont-très-Éloignés-du-contexte, 79 1°) Logiciels de dessin, p.80

P. Éditeurs-de, 82 a. Éditeurs intimement liés à un langage de programmation82 b. Éditeurs de programmes seulement liés à une syntaxe, p.83

.. Apports-aux-utilisateurs-de-cabri and .. Enseignement-avec-cabri, 109 1°) Mise au point de grosses figures110 a. Préparation des exercices et illustrations de cours, Evaluation des connaissances et des acquis, vol.109110, p.110

3. Applications-de-cabri-À-de-nouveaux-domaines and .. , 111 a. Recherche en mathématiques, p.111

A. Au-domaine-de-la-programmation and .. , 112 1°) Enseignement de la programmation112 a. Où l'usage de Cabri est-il pertinent ?, ., p.113

.. Spécificité-de-l-'interface-désirée, 124 1°) Informations à produire, p.124

.. Forme-À-donner-À-l-'information, 131 a. Distance sémantique, ., p.133

P. Animation-des, 134 a. Vues et navigation, p.137

.. De-cabri, 142 1°) Comment Cabri est-il structuré ?143 2°) Conséquences sur l'insertion de l'édition textuelle dans l'existant145 a. Quelles sont les manipulations attendues ?, 145 b. Conséquences sur le code à, p.155

3. Dans-un-code-déjà-existant-de-contraintes, .. Le-multilinguisme, and .. , 165 a. Les équations, p.168

.. Ce-qui-est-récupérable, 168 1°) Description de la structure d'un Cabri-programme par un modèle de documents structurés, p.169

.. Ce-qui-n-'est-pas-récupérable, 172 1°) Comment est gérée l'ubiquité des objets172 2°) Gestion des notations secondaires173 3°) Traitements particuliers pour les sous-objets, p.176

.. Appel-et-fonctionnement-de-la-vue-textuelle and .. Le-texte, 182 a, Affichage des attributs, p.187

3. Fonctionnalités-aidant-au-débogage and .. , 187 a. Revoir la construction et curseur textuel, p.189

.. Ergonomie, 191 b. Accès à la sémantique, 0193.

B. Potentiel and P. , 201 1°) Structures de contrôle et macros récursives201 a. La récursivité dans Cabri en géométrie : vers des fractales dynamiques, Implémentation, vol.203, p.204

«. Raccourcis, ». , and P. , 207 a. Extension à d'autres outils comme Droite Parallèle et aux autres outils qui construisent des droites, ., p.207

.. Intégration-d-'une-vue-liée-À-un-Éditeur-de-graphes, 209 a. Motivations et historique209 b. Quel graphe choisir ?209 c. Quelle adaptation ?, ., p.210