B. A. Myers91 and . Myers, Separating application code from toolkits, Proceedings of the 4th annual ACM symposium on User interface software and technology , UIST '91, pp.211-220
DOI : 10.1145/120782.120805

. A. Brad and . Myers, ? The garnet and amulet user interface development environments, Proceedings of ACM CHI'95 Conference on Human Factors in Computing Systems, pp.334-1995

. Nigay, 98] Laurence Nigay et Frédéric Vernier. ? Design method of interaction techniques for large information spaces, proceedings of AVI'98, pp.37-46, 1998.

. Oecd, 03] OECD et UNESCO. ? Literacy Skills for the World of Tomorrow : Further Results from PISA, ? Rapport technique, OECD and UNESCO INSTITUTE FOR STATISTICS, 2000.

D. Shreiner, M. Woo, J. Neider, and T. Davis, OpenGL Architecture Review Board et David Shreiner. ? OpenGL Programming Guide : The Official Guide to Learning OpenGL, Version 1.4, OpenGL Architecture Review Board, 2003.

. Plénacoste, Cédric Dumas et Jean-Daniel Fekete. ? Bibliothèques : comparaisons entre le réel et le virtuel en 3d, 2d zoomable et 2d arborescent. ? video proceedings of IHM- HCI, 2001.

S. Corp, The World Toolkit Manual, Sense8, 1999. 26. Sun Microsystems Inc. Java Speech API Programmer's Guide, 1998.

R. Ballagas, iStuff, Proceedings of the conference on Human factors in computing systems , CHI '03, pp.537-544, 2003.
DOI : 10.1145/642611.642705

R. Bastide, D. Navarre, and P. Palanque, A model-based tool for interactive prototyping of highly interactive applications, CHI '02 extended abstracts on Human factors in computing systems , CHI '02, pp.516-517, 2002.
DOI : 10.1145/506443.506457

M. Beaudouin-lafon, CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001.
DOI : 10.1007/3-540-45740-2_6

R. 1. Ahlberg, C. Shneiderman, and B. , Visual information seeking: Tight coupling of dynamic query filters with starfield displays, Proc. CHI'94 Conference: Human Factors in Computing Systems, pp.313-321, 1994.

B. B. Bederson and J. D. Hollan, PAD++: A zooming graphical user interface for exploring alternate interface physics, Proc. User Interfaces Software and Technology '94, pp.17-27, 1994.

M. Chalmers, R. Ingram, and C. Pfranger, Adding imageability features to information displays, Proceedings of the 9th annual ACM symposium on User interface software and technology , UIST '96
DOI : 10.1145/237091.237096

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.4986

J. Christensen, J. Marks, and S. Shieber, Labeling Point Features on Map and Diagrams

S. Card, J. Mackinlay, and B. Shneiderman, Readings in Information Visualization: Using Vision to Think

J. Lamping, . Rao, . Ramana, and P. Pirolli, A focus+context technique based on hyperbolic geometry for visualizing large hierarchies, Proceedings of the SIGCHI conference on Human factors in computing systems, CHI '95
DOI : 10.1145/223904.223956

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.1530

D. Lindwarm, A. Rose, C. Plaisant, N. , and K. , Viewing personal history records: A comparison of tabular format and graphical presentation using LifeLines, Behaviour & Information Technology, 1998.

D. A. Nation, C. Plaisant, G. Marchionini, and A. Komlodi, Visualizing websites using a hierarchical table of contents browser: WebTOC, Proc. 3rd Conference on Human Factors and the Web, 1997.
DOI : 10.1016/B978-155860915-0/50026-3

C. Plaisant, D. Carr, and B. Shneiderman, Image-browser taxonomy and guidelines for designers, IEEE Software, vol.12, issue.2, pp.21-32, 1995.
DOI : 10.1109/52.368260

C. Plaisant, . Rose, . Anne, . Milash, . Brett et al., LifeLines: Visualizing personal histories LifeLines: Using visualization to enhance navigation and analysis of patient records, Proc. of ACM CHI96 Conference: Human Factors in Computing Systems Proc. of American Medical Informatics Association Conference, pp.221-227, 1996.

R. A. Becker, S. G. Eick, and G. J. Wills, Visualizing network data, IEEE Transactions on Visualization and Computer Graphics, vol.1, issue.1, pp.16-28
DOI : 10.1109/2945.468391

J. Bertin, Sémiologie graphique : Les diagrammes -Les réseaux -Les cartes, 1967.

R. F. Cohen, P. Eades, T. Lin, and F. Ruskey, Volume upper bounds for 3D graph drawing, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, 1994.

M. Ghoniem, N. Jussien, and J. Fekete, VISEXP: visualizing constraint solver dynamics using explanations. in FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00869112

F. V. Ham, Using Multilevel Call Matrices in Large Software Projects, Proc. IEEE Symp, pp.227-232, 2003.

I. Herman, G. Melançon, and M. S. Marshall, Graph visualization and navigation in information visualization: A survey, IEEE Transactions on Visualization and Computer Graphics, vol.6, issue.1, pp.24-43
DOI : 10.1109/2945.841119

I. , W. U. Montgomery, D. C. Runger, and G. C. , Random Graph Server, Applied Statistics and Probability for Engineers, 1999.

H. C. Purchase, The effects of graph layout, Proceedings 1998 Australasian Computer Human Interaction Conference. OzCHI'98 (Cat. No.98EX234), p.80, 1998.
DOI : 10.1109/OZCHI.1998.732199

H. C. Purchase, D. A. Carrington, and J. Allder, Empirical Evaluation of Aesthetics-based Graph Layout, Empirical Software Engineering, vol.7, issue.3, pp.233-255
DOI : 10.1023/A:1016344215610

H. C. Purchase, R. F. Cohen, and M. I. James, An experimental study of the basis for graph drawing algorithms, Journal of Experimental Algorithmics, vol.2, issue.4, 1997.
DOI : 10.1145/264216.264222

C. Ware, H. C. Purchase, L. Colpoys, and M. Mcgill, Cognitive measurements of graph aesthetics, Information Visualization, vol.1, issue.2, pp.103-110
DOI : 10.1057/palgrave.ivs.9500013

A. Komlodi, A. Sears, and E. Stanziola, InformationVisualization Evaluation Review, ISRC Tech. Report, Dept. of Information SystemsIV_eval, issue.1, 2004.

C. Plaisant, The challenge of information visualization evaluation, Proceedings of the working conference on Advanced visual interfaces , AVI '04, 2004.
DOI : 10.1145/989863.989880

T. Munzner, F. Guimbretière, S. Tasiran, L. Zhang, and Y. Zhou, TreeJuxtaposer: Scalable tree comparison using Focus+Context with guaranteed visibility, ACM Transactions on Graphics, pp.3-453, 2003.

J. Y. Hong, J. D-'andries, M. Richman, and M. Westfall, Zoomology: Comparing Two Large Hierarchical Trees, Poster Compendium of IEEE Information Visualization, 2003.

M. Spenke and C. Beilken, InfoZoom -Analysing Formula One racing results with an interactive data mining and visualization tool, Ebecken, N. Data mining II, pp.455-464, 2000.

D. Auber, M. Delest, J. Domenger, P. Ferraro, and R. Strandh, EVAT -Environment for Visualization and Analysis of Trees, Poster Compendium of IEEE Information Visualization, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00308270

D. R. Morse, N. Ytow, D. Roberts, . Mcl, and A. Sato, Comparison of Multiple Taxonomic Hierarchies Using TaxoNote, Poster Compendium of IEEE Information Visualization, 2003.

K. Infovis-contest-mullet, C. Fry, and D. Schiano, On your marks, get set, browse! (the great CHI'97 Browse Off), Panel description in ACM CHI'97 extended abstracts, pp.113-114, 1997.

C. Ahlberg and B. Shneiderman, Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays, Human Factors in Computing Systems. Conference Proceedings CHI'94, pp.313-317, 1994.

J. Bosak, Shakespeare 2.00

T. Bray, J. Paoli, C. M. Sperberg-mcqueen, and . Eds, Extensible Markup Language (XML) 1.0, Recommendation of the W3 Consortium. Feb, 1998.

P. Caton, Putting Renaissance Women Online New Models and Opportunities, ICCC/IFIP Working Conference on Electronic Publishing '97, 1997.

J. Clark, XSL Transformations (XSLT) Version 1.0 W3C Working Draft

N. Dufournaud, Comportements et relations sociales en Bretagne vers 1530, d'après les lettres de rémission

D. A. Keim, Pixel-oriented database visualizations, ACM SIGMOD Record, vol.25, issue.4, 1996.
DOI : 10.1145/245882.245896

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.882

E. Lecolinet, L. Likforman-sulem, L. Robert, F. Role, and J. , Lebrave An Integrated Reading and Editing Environment for Scholarly Research on Literary Works and their Handwritten Sources DL'98, Proceedings of the 3rd ACM International Conference on Digital Libraries, pp.144-151, 1998.

G. Marchionini, C. Plaisant, and A. Komlodi, Interfaces and Tools for the Library of Congress National Digital Library Program Information Processing & Management, pp.535-555, 1998.

R. Siemund and C. Claridge, The Lampeter Corpus of Early Modern English Tracts, Norwegian Computing Centre for the Humanities, pp.61-70, 1997.

M. Randall, D. S. Rohrer, and J. L. Ebert, Sibert The Shape Of Shakespeare, Visualizing Text Using Implicit Surfaces Proceedings IEEE Symposium on Information Visualization, pp.121-129, 1998.

J. Abello and F. Ham, Matrix Zoom: A Visual Interface to Semi-External Graphs, IEEE Symposium on Information Visualization, pp.183-190, 2004.
DOI : 10.1109/INFVIS.2004.46

J. Amilhastre, H. Fargier, M. , and P. , Consistency restoration and explanations in dynamic CSPs???Application to configuration, Artificial Intelligence, vol.135, issue.1-2, pp.199-234, 2002.
DOI : 10.1016/S0004-3702(01)00162-X

R. A. Becker, S. G. Eick, and G. J. Wills, Visualizing network data, IEEE Transactions on Visualization and Computer Graphics, vol.1, issue.1, pp.16-28, 1995.
DOI : 10.1109/2945.468391

J. Bertin, Semiology of Graphics: Diagrams, Networks, Maps, 1983.

M. Brayshaw and M. Eisenstadt, A Practical Tracer for Prolog, International Journal of Man-Machine Studies, vol.42, pp.597-631, 1991.

L. Byrd, Understanding the control flow of Prolog programs, Proceedings of the Logic Programming Workshop, 1980.

S. Card, J. Mackinlay, and B. Shneiderman, Readings in Information Visualization: Using Vision to Think, pp.235-261, 1999.

M. S. Carpendale and C. Montagnese, A framework for unifying presentation space, Proceedings of the 14th annual ACM symposium on User interface software and technology , UIST '01, pp.61-70, 2001.
DOI : 10.1145/502348.502358

F. In, 03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp.172-176

J. Doyle, A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979.
DOI : 10.1016/0004-3702(79)90008-0

M. Eisenstadt, A Powerful Prolog Trace Package, Sixth European Conference on Artificial Intelligence, 1984.

M. Eisenstadt and M. Brayshaw, A fine-grained account of Prolog execution for teaching and debugging, Instructional Science, vol.24, issue.9, pp.407-436, 1990.
DOI : 10.1007/BF00116447

M. Eisenstadt and M. Brayshaw, The truth about Prolog execution Software visualization: programming as a multimedia experience, 1998.

F. Fages, CLPGUI: a generic graphical user interface for constraint logic programming over finite domains, ICLP'02 12th Workshop on Logic Programming Environments, 2002.

J. Fekete and C. Plaisant, Excentric labeling, Proceedings of the SIGCHI conference on Human factors in computing systems the CHI is the limit, CHI '99, pp.512-519, 1999.
DOI : 10.1145/302979.303148

URL : https://hal.archives-ouvertes.fr/hal-00877395

J. Fekete and C. Plaisant, Interactive Information Visualization of a Million Items, Proceedings of IEEE Symposium on Information Visualization, pp.117-124, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00875363

E. C. Freuder, C. Likitvivatanavong, W. , and R. J. , Deriving Explanations and Implications for Constraint Satisfaction Problems, Principles and Practice of Constraint Programming, pp.585-589, 2001.
DOI : 10.1007/3-540-45578-7_44

M. Ghoniem, N. Jussien, and J. Fekete, VISEXP: Visualizing Constraint Solver Dynamics Using Explanations, FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00869112

M. Ghoniem, J. Fekete, and P. Castagliola, A Comparison of the Readability of Graphs Using Node-Link and Matrix-Based Representations, IEEE Symposium on Information Visualization, pp.17-24, 2004.
DOI : 10.1109/INFVIS.2004.1

URL : https://hal.archives-ouvertes.fr/hal-00343819

M. Ginsberg, Dynamic backtracking, Journal of Artificial Intelligence Research, vol.1, pp.25-46, 1993.
DOI : 10.1007/3-540-58601-6_105

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.4126

F. V. Ham, Using Multilevel Call Matrices in Large Software Projects, Proc. IEEE Symp, pp.227-232, 2003.

U. Junker, QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms, IJCAI'01 Workshop on Modelling and Solving problems with constraints, 2001.

N. Jussien, R. Debruyne, and P. Boizumault, Maintaining Arc-Consistency within Dynamic Backtracking, Principles and Practice of Constraint Programming, pp.249-261, 2000.
DOI : 10.1007/3-540-45349-0_19

URL : https://hal.archives-ouvertes.fr/hal-00869126

N. Jussien and O. Lhomme, Local search with constraint propagation and??conflict-based heuristics, Artificial Intelligence, vol.139, issue.1, pp.21-45, 2002.
DOI : 10.1016/S0004-3702(02)00221-7

URL : https://hal.archives-ouvertes.fr/hal-00869124

N. Jussien, The versatility of using explanations within constraint programming, 2003.
URL : https://hal.archives-ouvertes.fr/tel-00293905

D. Lalanne and P. Pu, Interactive Problem Solving Via Algorithm Visualization, IEEE Symposium on Information Visualization, 2000.

P. Mulholland, Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students, 1995.

S. Ouis, N. Jussien, and P. Boizumault, k-relevant explanations for constraint programming, FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp.192-196, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00446384

J. Stasko, R. Catrambone, M. Guzdial, and K. Mcdonald, An evaluation of space-filling information visualizations for depicting hierarchical structures, International Journal of Human-Computer Studies, vol.53, issue.5, pp.663-694, 1998.
DOI : 10.1006/ijhc.2000.0420

C. Taylor, B. Du-boulay, and M. Patel, Outline proposal for a Prolog 'Textual Tree Tracer' (TTT). CSRP No, 1991.

J. Yang, M. O. Ward, and E. A. Rundensteiner, InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures, Proceedings of IEEE Symposium on Information Visualization, 2002.

P. Deransart, M. Hermenegildo, and J. Ma?uszy?ski, Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS, 1997.

N. Jussien and V. Barichard, The PaLM system: explanationbased constraint programming, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, pp.118-133, 2000.

F. Laburthe, Choco: implementing a cp kernel, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, 2000.

P. Refalo, Impact-Based Search Strategies for Constraint Programming, Proceedings of the 10th intern. Conference on the Principles and Practice of Constraint Programming, pp.557-571, 2004.
DOI : 10.1007/978-3-540-30201-8_41