25 search results - page 5 / 5 » A JML Compiler Based on AspectJ |
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
AOSD
2009
ACM
13 years 8 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
AOSD
2008
ACM
13 years 6 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
PPDP
2004
Springer
13 years 9 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...