Aspect oriented technologies enable concerns like concurrency or security to be coded in separated units. This paper suggests that relevant properties of given concerns can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.
Denaro, G., Monga, M. (2001). An Experience on Verification of Aspect Properties. In IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution (pp.186-189) [10.1145/602461.602506].
An Experience on Verification of Aspect Properties
DENARO, GIOVANNI;
2001
Abstract
Aspect oriented technologies enable concerns like concurrency or security to be coded in separated units. This paper suggests that relevant properties of given concerns can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
