[Fedora-trans-ar] Starting Over.. :)

Mohammad Ghoniem Mohammad.Ghoniem at univ-ubs.fr
Mon Nov 21 13:31:29 UTC 2005


Maha Helwa wrote:

> Congrats.. Ghoniem.. just to curious to know.. what was it about? :)

Thank you Maha ! The broad topic is "Information Visualization". The
title of my thesis is "Visualization Tools for the Analysis and
Debugging of Constraint-Oriented Programs".

Abstract :

Constraint-oriented programming finds numerous applications in the industrial and academic worlds. It often tackles hard problems that require sophisticated resolution 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 generally in terms of information visualization.

Keywords: information visualization, adjacency matrices, dynamic graphs, constraint-oriented programming, evaluation, controlled experiment,
Human-Computer Interaction.

If you are even more curious, you can have a more accurate idea of my work here :
http://www-valoria.univ-ubs.fr/Mohammad.Ghoniem/publications/

Salâm

Mohammad






More information about the Fedora-trans-ar mailing list