Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
dc.contributor.advisor | Vachon, Julie | fr |
dc.contributor.author | Mostefaoui, Farida | fr |
dc.date.accessioned | 2012-03-07T01:20:33Z | |
dc.date.available | 2012-03-07T01:20:33Z | |
dc.date.issued | 2008-10-09 | fr |
dc.date.submitted | 2008 | fr |
dc.identifier.uri | http://hdl.handle.net/1866/6453 | |
dc.subject | Paradigme aspect | fr |
dc.subject | Modélisation | fr |
dc.subject | UML | fr |
dc.subject | Vérification formelle | fr |
dc.subject | Réseaux de Petri colorés | fr |
dc.subject | COOPN/2 | fr |
dc.subject | Alloy | fr |
dc.title | Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects | fr |
dc.type | Thèse ou mémoire / Thesis or Dissertation | fr |
etd.degree.discipline | Informatique | fr |
etd.degree.grantor | Université de Montréal | fr |
etd.degree.level | Doctorat / Doctoral | fr |
etd.degree.name | Ph. D. | fr |
dcterms.description | Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal. | fr |
dcterms.language | fra | fr |