Cet ouvrage se veut une contribution à une meilleure compréhension de l'évolution des modèles de simulation dans leur cycle de vie. Le concept au coeur de cet objectif est celui de modélisation multi-analyse qui vise à conjuguer la simulation, les capacités de raisonnement symbolique, et les moyens de synthèse automatique de code, à partir d'une spécification unique...