Nantilus
Outils de visualisation et d'aide à la mise au point de programmes avec contraintes
La programmation par contraintes est une discipline informatique aux multiples applications dans l'industrie et la recherche. Elle s'attaque \'e0 des probl\'e8mes difficiles\par n\'e9cessitant souvent la mise au point d'algorithmes sophistiqu\'e9s. Or, jusqu'\...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Outils de visualisation et d'aide à la mise au point de programmes avec contraintes / Mohammad Ghoniem; sous la direction de Patrice Boizumault |
| Publié : |
[S.l.] :
[s.n.]
, 2005 |
| Description matérielle : | 1 vol. (211 p.) |
| Condition d'utilisation et de reproduction : | Publication autorisée apr le jury |
| Note de thèse : | Thèse doctorat : Informatique. Interaction homme-machine : Nantes : 2005 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Outils de visualisation et d'aide à la mise au point de programmes avec contraintes |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
| LEADER | 05738cam a2200469 4500 | ||
|---|---|---|---|
| 001 | PPN094848068 | ||
| 003 | http://www.sudoc.fr/094848068 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2005NANT2064 | ||
| 035 | |a (OCoLC)491972913 | ||
| 100 | |a 20060110d2005 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||m ||||| | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a Outils de visualisation et d'aide à la mise au point de programmes avec contraintes |f Mohammad Ghoniem |g sous la direction de Patrice Boizumault | |
| 210 | |a [S.l.] |c [s.n.] |d 2005 | ||
| 215 | |a 1 vol. (211 p.) |d 30 cm | ||
| 316 | |5 441092104:251693406 |a Titre temporairement indisponible à la communication | ||
| 320 | |a Bibliographie p. 193-205 | ||
| 328 | |b Thèse doctorat |c Informatique. Interaction homme-machine |e Nantes |d 2005 | ||
| 330 | |a La programmation par contraintes est une discipline informatique aux multiples applications dans l'industrie et la recherche. Elle s'attaque \'e0 des probl\'e8mes difficiles\par n\'e9cessitant souvent la mise au point d'algorithmes sophistiqu\'e9s. Or, jusqu'\'e0 pr\'e9sent, les praticiens de l'art de la programmation par contraintes sont d\'e9pourvus d'outils efficaces pour mener \'e0 bien cette entreprise. Dans le pr\'e9sent travail, diverses techniques de visualisation d'information sont mobilis\'e9es pour la surveillance et la mise au point de programmes avec contraintes. Nous commen\'e7ons par d\'e9crire les probl\'e9matiques li\'e9es au d\'e9bogage et \'e0 la mise au point de programmes avec contraintes et les structures de donn\'e9es principales manipul\'e9es par les solveurs de contraintes, \'e0 savoir des files, des arbres et des graphes. Ensuite, nous dressons l'\'e9tat de l'art des techniques de visualisation\par d'information les plus connues et mettons en oeuvre certaines d'entre elles de\par mani\'e8re cibl\'e9e sur les structures de donn\'e9es issues de la programmation par contraintes. Nous nous int\'e9ressons tout particuli\'e8rement \'e0 la visualisation des graphes de taille et de densit\'e9 importante et proposons de les visualiser sous forme de matrices d'adjacence. Gr\'e2ce \'e0 une exp\'e9rience contr\'f4l\'e9e que nous avons mise en place, nous d\'e9montrons que la repr\'e9sentation matricielle des graphes est plus lisible que la repr\'e9sentation traditionnelle sous forme de diagrammes noeuds-liens pour de nombreuses t\'e2ches. Nous d\'e9crivons \'e9galement l'utilisation e\'1bective de cette technique sur divers cas d'\'e9tude issus de la programmation par contraintes et mettons en lumi\'e8re l'utilit\'e9 de cette repr\'e9sentation pour conduire des raisonnements et adapter des strat\'e9gies de r\'e9solution con\'e7ues par des programmeurs en contraintes. Enfin, nous discutons des perspectives ouvertes par ce travail au plan de la programmation par contraintes, au plan du g\'e9nie logiciel, et enfin, de mani\'e8re plus g\'e9n\'e9rale, en termes de visualisation d'information. | ||
| 330 | |a Constraint-oriented programming finds numerous applications in the industrial and\par academic worlds. It often tackles hard problems that require sophisticated resolution\par algorithms. However, constraint-oriented programmers have so far been left without efficient debugging tools to help them in this endeavour. In the present work, we tackle one of those few problems where two computer science disciplines meet, namely information visualization and constraint-oriented programming. To begin with, we describe the problems related to the debugging and tuning of constraint-oriented programs, as well as the main data structures handled by constraint programs solvers. Then, we report the state of the art in the field of information visualisation and implement some of its most famous techniques suited for the problem at hand. We focus in particular on the visualization of large and dense graphs. For those, we propose a matrix-based visualization. By the means of a user controlled experiment, the matrix-based visualization proves to be more readable than traditional node-link diagrams on numerous tasks. We also describe the actual use of this visualization technique on various cases of study and outline how it can enhance reasoning and help constraint systems programmers adapt the strategies they design. Lastly, we discuss a few perspectives following the present work with regard to constraint programming, as well as software engineering, and more\par generally in terms of information visualization. | ||
| 371 | 1 | |a Publication autorisée apr le jury | |
| 456 | | | |0 24685555X |t Outils de visualisation et d'aide à la mise au point de programmes avec contraintes |f Mohammad Ghoniem |d 2005 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [ Grenoble thèses] | |
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN069124175 |a Ghoniem |b Mohammad |f 1976-... |4 070 | |
| 701 | 1 | |3 PPN029186846 |a Boizumault |b Patrice |f 1959-.... |c enseignant-chercheur en informatique |4 727 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 711 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
| 801 | 3 | |a FR |b Abes |c 20231215 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:251693406 |b 441092104 |j g | ||
| 991 | |5 441092104:251693406 |a Exemplaire modifié automatiquement le 18-07-2024 18:38 | ||
| 998 | |a 442555 | ||