Specification,synthese et qualite des modeles de simulation

• Date de parution : 16/01/2017
• Editeur : Editions Universitaires Europeennes
• EAN : 9783841727558
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : (-)
• Genre : Lettres et linguistique
• Thème : Critiques et Essais de Lettres et linguistique
• Prix littéraire(s) : (-)

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... Voir plus

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. 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é.