De la conception d’hypermédia à la conception d’application Web

Conception centrée interaction : Application à la conception de simulation interactive

The complexity of interactive systems results from partial knowledge that someone has on it. Such systems are specified by local properties and their global behavior is generally emerging. Managing the complexity is a permanent objective of the software engineering. Object oriented design has given place to several approaches aiming at controlling complexity: aspect programming which separates ...

Modèles et outils pour l'assistance à la conception. Application à la conception architecturale

Design assistance and more particularly Architectural design assistance offer a rich potential of applications for many research themes in computer science. The work, presented in this report, concerns several of these themes. At first, we present the general context of a design activity: the object, the process and actors. Then, we put our interest in the problem of modelling the design object...

Usages et conception des TIC : Proposition d'un modèle d'aide à la représentation de problème de conception

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Aide à la conception des microsystèmes