Ouvrages Année : 2017

Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets

Résumé

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 cœur 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é.

Fichier principal
Vignette du fichier
SSQ.pdf (2.44 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01814160 , version 1 (30-10-2020)

Licence

Identifiants

  • HAL Id : hal-01814160 , version 1

Citer

Mamadou Kaba Traoré. Spécification, Synthèse et Qualité des Modèles de Simulation à Événements Discrets. Editions universitaires europeennes 2017, 9783841727558. ⟨hal-01814160⟩
171 Consultations
1140 Téléchargements

Partager

  • More