De la modélisation littérale à la simulation numérique certifiée

Mémoire d'Habilitation à Diriger des Recherches, cet ouvrage présente une synthèse de 25 années de travaux mis en perspective avec l'objectif de la conception et du développement d'un environnement logiciel intégré pour la modélisation et la simulation. Au fil des chapitres, on y réfléchit à comment bien modéliser pour mieux simuler, à comment calculer efficacement, précisément et juste, et à comment générer un code de calcul dédié à un modèle. Une dernière partie énonce les besoins en termes de fonctionnalités d'un tel environnement logiciel, décrit quelques pistes à suivre pour satisfaire ces besoins, certaines difficultés à suivre ces pistes, et des solutions pour contourner ces difficultés.