返回Google圖書搜尋

Outils de visualisation et d'aide à la mise au point de programmes avec contraintes

出版	2005
URL	http://books.google.com.hk/books?id=qODsXwAACAAJ&hl=&source=gbs_api

註釋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.