Gestion du temps par le raffinement
Dans les domaines critiques d'application de l'informatique, il peut être vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des systèmes produits. Dans ce contexte, la méthode B évènementielle promeut le développement de modèles abstraits du syst...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00441312 http://tel.archives-ouvertes.fr/docs/00/44/13/12/PDF/these_Joris-Rehm.pdf |