Interaction et vérification
A. Beugnard
- C1 : Généralités sur les interactions, interfaces et architecture -- (pdf)
- C2 : Interactions élémentaires à 2 ou plus -- (pdf)
- C3 : Eléments de spécification, diagrammes -- (pdf)
- Comparaison de la redéfinition et de la liaison dynamique entre langages ([1])