442 search results - page 52 / 89 » Slicing Aspect-Oriented Software |
ISORC
2005
IEEE
14 years 29 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
APSEC
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
UML
2004
Springer
14 years 22 days ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...