Show item record

dc.contributor.advisorVachon, Juliefr
dc.contributor.authorMostefaoui, Faridafr
dc.date.accessioned2012-03-07T01:20:33Z
dc.date.available2012-03-07T01:20:33Z
dc.date.issued2008-10-09fr
dc.date.submitted2008fr
dc.identifier.urihttp://hdl.handle.net/1866/6453
dc.subjectParadigme aspectfr
dc.subjectModélisationfr
dc.subjectUMLfr
dc.subjectVérification formellefr
dc.subjectRéseaux de Petri colorésfr
dc.subjectCOOPN/2fr
dc.subjectAlloyfr
dc.titleUn cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspectsfr
dc.typeThèse ou mémoire / Thesis or Dissertationfr
etd.degree.disciplineInformatiquefr
etd.degree.grantorUniversité de Montréalfr
etd.degree.levelDoctorat / Doctoralfr
etd.degree.namePh. D.fr
dcterms.descriptionThèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.fr
dcterms.languagefrafr


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show item record