Skip to Main content Skip to Navigation
Theses

Behavioural Contracts for Components

Résumé : cette vérification est basée sur un modèle de composant abstrait, dynamique et multi-tâche. Une deuxième analyse, à l'assemblage des composants, étudie la compatibilité entre les contrats mis en jeu, au moyen de règles de compatibilité d'interface et de sous-typage. Cette double vérification nous permet de garantir que tout message envoyé sera consommé, ainsi que l'absence d'interblocage externe entre les composants.
Document type :
Theses
Domain :
Complete list of metadata

Cited literature [92 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00000798
Contributor : Ecole Télécom ParisTech Connect in order to contact the contributor
Submitted on : Monday, September 6, 2004 - 8:00:00 AM
Last modification on : Friday, July 31, 2020 - 10:44:07 AM
Long-term archiving on: : Monday, July 12, 2010 - 8:43:18 PM

Identifiers

  • HAL Id : pastel-00000798, version 1

Collections

Citation

Cyril Carrez. Behavioural Contracts for Components. domain_other. Télécom ParisTech, 2003. English. ⟨pastel-00000798⟩

Share

Metrics

Record views

175

Files downloads

520