Méthode de conception descendante de systèmes temps réel
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une ma...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1982
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00304338 http://tel.archives-ouvertes.fr/docs/00/30/43/38/PDF/Pilaud.Daniel_1982_these.pdf |