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.
paper
software verification, aspect-oriented software, model checking
English
International Workshop on Principles of Software Evolution
1-58113-508-4
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].
Denaro, G; Monga, M
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/19902
Citazioni
  • Scopus 18
  • ???jsp.display-item.citation.isi??? ND
Social impact