Spécification,synthèse et qualité des modèles de simulation - à événements discrets

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

A propos de l'auteur

Mamadou Kaba Traoré, docteur en Informatique, enseignant chercheur à l'UCA (Université Clermont Auvergne).

Détails du produit

• Auteurs: Mamadou Kaba Traoré
• Edition: Éditions universitaires européennes
• Langues: Français
• Format d'édition: Livre de poche
• Sortie: 20.01.2017
• EAN: 9783841727558
• ISBN: 978-3-8417-2755-8
• Pages: 152
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique