💻💻💻 JEUDI 29 Sept. 2022. Le système sera arrêté entre 6 h 00 et 8 h 00 pour permettre une mise à jour du système. //// TUESDAY Sept. 29 2022. The system will be going down between 6 AM and 8 AM to allow for a maintenance operation. 💻💻💻

Afficher la notice

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


Fichier(s) constituant ce document

Vignette

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice