Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués
Les contrats basés sur les notions d'hypothèses/garanties constituent un paradigme expressif pour une conception modulaire et compositionnelle de spécification de programmes. Ils sont devenus un concept fondamental dans les procédés employés par les outils de conception assistée par ordinateur,...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Rennes 1
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00460260 http://tel.archives-ouvertes.fr/docs/00/46/02/60/PDF/these.pdf |