Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML
Un développement d'un système débute par la constitution, dans la phase de spécification des besoins, d'un cahier des charges dans lequel un ensemble de scénarios d'utilisation du système est défini avec les contraintes auxquelles il doit obéir, dans lequel chaque scénario est un simp...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2012
|
Subjects: | |
Online Access: | http://www.theses.fr/2012AIXM4318 |