Adding trace matching with free variables to AspectJ
C Allan, P Avgustinov, AS Christensen… - ACM SIGPLAN …, 2005 - dl.acm.org
An aspect observes the execution of a base program; when certain actions occur, the aspect
runs some extra code of its own. In the AspectJ language, the observations that an aspect …
runs some extra code of its own. In the AspectJ language, the observations that an aspect …
Ksplice: Automatic rebootless kernel updates
J Arnold, MF Kaashoek - Proceedings of the 4th ACM European …, 2009 - dl.acm.org
Ksplice allows system administrators to apply patches to their operating system kernels
without rebooting. Unlike previous hot update systems, Ksplice operates at the object code …
without rebooting. Unlike previous hot update systems, Ksplice operates at the object code …
A quantitative analysis of aspects in the eCos kernel
Nearly ten years after its first presentation and five years after its first application to operating
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …
MATA: A unified approach for composing UML aspect models based on graph transformation
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML
aspect-oriented modeling (AOM) technique that uses graph transformations to specify and …
aspect-oriented modeling (AOM) technique that uses graph transformations to specify and …
Managing the evolution of aspect-oriented software with model-based pointcuts
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still
suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe …
suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe …
Explicitly distributed AOP using AWED
LDB Navarro, M Südholt, W Vanderperren… - Proceedings of the 5th …, 2006 - dl.acm.org
Distribution-related concerns, such as data replication, often crosscut the business code of a
distributed application. Currently such crosscutting concerns are frequently realized on top …
distributed application. Currently such crosscutting concerns are frequently realized on top …
Runtime verification of C programs
K Havelund - International Workshop on Formal Approaches to …, 2008 - Springer
We present in this paper a framework, Rmor, for monitoring the execution of C programs
against state machines, expressed in a textual (non-graphical) format in files separate from …
against state machines, expressed in a textual (non-graphical) format in files separate from …
Dependable model-driven development of CPS: From stateflow simulation to verified implementation
Simulink is widely used for model-driven development (MDD) of cyber-physical systems.
Typically, the Simulink-based development starts with Stateflow modeling, followed by …
Typically, the Simulink-based development starts with Stateflow modeling, followed by …
Making trace monitors feasible
P Avgustinov, J Tibble, O de Moor - … of the 22nd annual ACM SIGPLAN …, 2007 - dl.acm.org
A trace monitor observes an execution trace at runtime; when it recognises a specified
sequence of events, the monitor runs extra code. In the aspect-oriented programming …
sequence of events, the monitor runs extra code. In the aspect-oriented programming …
Reasoning about semantic conflicts between aspects
PEA Durr, T Staijen, M Aksit - First Aspect, Dependencies, and …, 2006 - research.utwente.nl
Aspects have been successfully promoted as a means to improve the modularization of
software in the presence of crosscutting concerns. The socalled aspect interference problem …
software in the presence of crosscutting concerns. The socalled aspect interference problem …