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 |
Files in this item
This item appears in the following Collection(s)
This document disseminated on Papyrus is the exclusive property of the copyright holders and is protected by the Copyright Act (R.S.C. 1985, c. C-42). It may be used for fair dealing and non-commercial purposes, for private study or research, criticism and review as provided by law. For any other use, written authorization from the copyright holders is required.