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...
| Wydane w: | Software engineering notes. 29, 6 (2004). |
|---|---|
| 1. autor: | |
| Format: | Artykuł |
| Język: | English |
| Hasła przedmiotowe: |