1.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|
2.
|
Evaluating Design Decay during Software Evolution Hassaine, Salima
|