EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

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:

PDF

150 Kb
Open Access



Official URL: http://referaat.cs.utwente.nl/new/papers.php?confid=1

Abstract

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
Status:Published
Deposited On:27 August 2009
Refereed:Yes
International:No
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item