Beschreibung
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 cur 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. Cet effort, qui est au service de l'ingénierie modèle-centrée des systèmes complexes, est à la croisée de la théorie mathématique des systèmes dynamiques, des méthodes formelles et du génie logiciel avancé.
Autorenporträt
Mamadou Kaba Traoré, docteur en Informatique, enseignant chercheur à l'UCA (Université Clermont Auvergne).
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
