Liens externes
Répertoires
Facultés
Bibliothèques
Plan campus
Sites A-Z
Mon UdeM
Portail Mon UdeM
Mon courriel
StudiUM
Recherchez dans :
Inverser la navigation
Papyrus
: Dépôt institutionnel
Papyrus
Dépôt institutionnel
Papyrus
français
English
français
français
English
Ouvrir une session
français
français
English
Ouvrir une session
Inverser la navigation
Voir le document
Accueil
Faculté des arts et des sciences
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
Voir le document
Accueil
Faculté des arts et des sciences
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
Chercher dans le dépôt
Chercher dans cette collection
Mon compte
Pour soumettre un document ou s'abonner à des alertes courriels
Ouvrir une session
Nouvel utilisateur?
Parcourir
Tout Papyrus
Communautés et Collections
Titres
Dates de publication
Auteurs
Directeurs de recherche
Sujets
Programmes
Affiliation
Index des titres
Cette collection
Titres
Dates de publication
Auteurs
Directeurs de recherche
Sujets
Programmes
Affiliation
Index des titres
Statistiques
Données d'utilisation
Afficher les métadonnées
Permalien :
https://doi.org/
1866/6453
Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
Thèse ou mémoire
Mostefaoui_Farida_2008_these.pdf (6.292Mo)
2008 (octroi du grade: 2008-10-09)
Auteur(s)
Mostefaoui, Farida
Directeur(s) de recherche
Vachon, Julie
Cycle d'études
Doctorat
Programme
Informatique
Mots-clés
Paradigme aspect
Modélisation
UML
Vérification formelle
Réseaux de Petri colorés
COOPN/2
Alloy
Note(s)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
Collections
Thèses et mémoires électroniques de l’Université de Montréal
[19431]
Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires
[876]