Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

15698 Improving a Modular Verification Technique for Aspect Oriented Programming
Home Policy Brochure Browse Search User Area Contact Help

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:


150 Kb
Open Access

Official URL:


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.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-SE: Software Engineering
Research Program:CTIT-ASI: A-services Internet
Research Project:AOSD-EUROPE: European Network of Excellence on Aspect-Oriented Software Development
Uncontrolled Keywords:Aspect Oriented Programming, AOP, verification, classification
ID Code:15698
Deposited On:27 August 2009
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item