Abstract FR:

Bien que les outils d'édition graphique semblent rendre aisée la création de pages Web, le développement d'applications sur le Word Wide Web est une activité complexe. Cette complexité découle de la nature sans cesse évolutive de ces applications, la complexité des besoins utilisateurs et des temps de développement souvent très courts. Pour pouvoir gérer cette complexité, des modèles deviennent fondamentaux. Même si la navigation est considérée comme l'un des éléments critiques pour la spécification des applications Web, les méthodes dont nous disposons aujourd'hui ne permettent pas de représenter tous les aspects liés à la navigation d'une façon complète et non ambigue͏̈. Cette thèse répond à ce besoin de méthodes efficaces permettant de décrire la navigation des applications Web en proposant une technique de description formelle dénommée StateWebCharts (SWC) et un environnement de conception qui supporte l'édition et la simulation des modèles décrits dans ce formalisme.