Composants
cps

Plan du cours

- semaine 1 : introduction
- semaine 2 : spécifications algébriques
- semaine 3 : conception par contrat (I)
- semaine 4 : conception par contrat (II)
- semaine 5 : déploiement : OSGi
- semaine 6 : Logique de Hoare (I)
- semaine 7 : Logique de Hoare (II)
- semaine 8 : Cas d’étude : Plugins Eclipse
- semaine 9 : Composants et contrôle concurrent
- semaine 10 : Composants et services Web

Consulter les Supports de cours

Annales

Tutoriels

La lecture de ces tutoriels est recommandée :
- Tutoriel Javabeans (PDF)
- Tutoriel ant
- Tutoriel Tamago

Forum de discussion

Pour toutes questions, remarques, etc. (à l’exception des questions administratives), utilisez le forum de discussion

 
Documents utiles