Fecha:"2013" |
Repositorio: "Université de Montreal" |
Tema:"Aspect Interaction" |
Idioma:"Inglés" |
Temas: "Aspect Oriented Development" |
Temas: "Formal Verification" |
Tema:"Génie Logiciel" |
Développement Orienté Aspect | (1) |
Formal Specification | (1) |
Interaction Aspect | (1) |
Modular reasoning | (1) |
Modularity | (1) |
Más... |
1.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|