Les techniques de génie logiciel

Table des matières

1 Introduction
1.1 Problématiques majeures
1.2 Démarche
1.3 Hypothèses principales
1.4 Contributions
1.5 Plan du document
1.6 Financement et contexte de travail
2 Contrats dans les composants
2.1 Contrats dans les objets
2.2 Contrats dans les composants
2.3 Contrats électroniques
2.4 Synthèse
3 Aspects extrafonctionnels
3.1 Normes et catalogues généraux
3.2 Critères de classifications
3.3 Langages de spécification
3.4 Gestion des contrats et adaptation dynamique
3.4.1 Techniques pour l’adaptation
3.4.2 Principaux travaux
3.5 Synthèse
4 Conclusion