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