Fecha:"2013" |
Repositorio: "Université de Montreal" |
Fecha:"12" |
Temas: "Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)" |
Fecha:"2012" |
Temas: "Développement Orienté Aspect" |
Aspect Interaction | (1) |
Aspect Oriented Development | (1) |
Formal Specification | (1) |
Formal Verification | (1) |
Génie Logiciel | (1) |
Más... |
1.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|