487 search results - page 8 / 98 » Dynamic Framed Aspects for Dynamic Software Evolution |
CSMR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grai...