Carrez, Cyril (2003) Behavioural Contracts for Components. PhD thesis Imformatique et Réseaux, ENST - INFRES Informatique et Réseaux, ENST.
Full text available as:
|
|
Alternative Locations: http://www.cyril-carrez.net/work/these/carrez03contrats_these.pdf
Abstract
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.
| Item Type: | PhD Thesis (PhD) |
|---|---|
| Thesis Supervisor: | Najm, Elie |
| Date: | December 2003 |
| Board of examiners: | Stefani, Jean-Bernard and Duchien, Laurence and Courtiat, Jean-Pierre and Vignes, Sylvie and Beugnard, Antoine and Pantel, Marc |
| Ecole Doctorale: | ED 130 INFORMATIQUE, TELECOMMUNICATIONS ET ELECTRONIQUE (EDITE) |
| Discipline: | Imformatique et Réseaux |
| Collection (Fonds): | ENST |
| Institution: | ENST |
| Department: | ENST - INFRES Informatique et Réseaux |
| Subjects: | 2. Information and Communication Sciences and Technologies |
| Uncontrolled Keywords: | Behavioural typing, Verification, Composition, Component, Typage comportemental, Vérification, Composition, Composant |
Table of content
Chapitre 1: Introduction
Chapitre 2: Composants et Typages
Chapitre 3: Types d'Interface
Chapitre 4: Modèle de Composant
Chapitre 5: Respect de Contrat
Chapitre 6: Intégration des Serveurs Non Réentrants
Chapitre 7: Conclusion
| ID Code: | 798 |
|---|---|
| Deposited By: | Cyril Carrez |
| Deposited On: | 06 September 2004 |
Repository Staff Only: edit this item