Composants
cps

Plan du cours

- Semaine 1 : Introduction aux composants
- Semaine 2 : Spécifications métier
- Semaine 3 : Conception par contrat (I)
- Semaine 4 : Conception par contrat (II)
- Semaine 5 : Logique de Hoare (I)
- Semaine 6 : Logique de Hoare (II)
- Semaine 7 : Génération automatique de tests

Supports de cours

Annales

Devoir à la maison et mini-projet

Lire la description du projet

Quelques liens

- Pour les croquis UML : UMLet

- API du framework Tamago

- Plugin TamagoCC