Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
| Contribuinte(s) |
Vachon, Julie |
|---|---|
| Data(s) |
06/03/2012
06/03/2012
09/10/2008
2008
|
| Resumo |
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal |
| Identificador | |
| Idioma(s) |
fr |
| Palavras-Chave | #Paradigme aspect #Modélisation #UML #Vérification formelle #Réseaux de Petri colorés #COOPN/2 #Alloy |
| Tipo |
Thèse ou Mémoire numérique / Electronic Thesis or Dissertation |
