Verifying aspect advice modularly.

Verifying aspect advice modularly.

Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computer-aided verification. We present a technique for verifying aspect-oriented programs (expressed as state machines). Our technique assu...

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 29, 6 (2004).
Tác giả chính: Krishnamurthi, Shriram
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Software.
Software engineering.
Software / Program Verification.
Programming languages.
Language classifications.
Algorithms.
Languages.
Verification.
Aspect oriented software.
Model checking.
Modular verification.