EEMCS EPrints Service
Laarman, A.W. (2006) Improving a Modular Verification Technique for Aspect Oriented Programming. In: 5th Twente Student Conference on Information Technology, 26 Jun 2006, Enschede, The Netherlands. pp. 37-40. Twente Student Conference on IT 5. Twente University Press. ISSN 1574-0293
Full text available as:
Official URL: http://referaat.cs.utwente.nl/new/papers.php?confid=1
As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item