31 search results - page 5 / 7 » Verifying aspect advice modularly |
AOSE
2005
Springer
14 years 28 days ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
OOPSLA
2004
Springer
14 years 22 days ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de�...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
JOT
2007
13 years 7 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...