Farida Mostefaoui

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Farida Mostefaoui, Julie Vachon
Design-Level Detection of Interactions in Aspect-UML Models Using Alloy. J. Object Technol. 6 (7) (2007)
Farida Mostefaoui, Julie Vachon
Verification of Aspect-UML models using alloy. AOM@AOSD (2007)
Farida Mostefaoui, Julie Vachon
Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects. Obj. Logiciel Base données Réseaux 12 (2-3) (2006)
Julie Vachon, Farida Mostefaoui
Achieving Supplementary Requirements Using Aspect-Oriented Development. ICEIS (3) (2004)