3792 search results - page 251 / 759 » Techniques for Trusted Software Engineering |
171
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
164
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Object-oriented (OO) software is usually organized into subsystems using the concepts of package or module. Such modular structure helps applications to evolve when faci...
212
click to vote
IWPSE
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a method to detect and visualize evolution patterns in C++ source code. Our method consists of three steps. First, we extract an annotated syntax tree (AST) from each v...
178
click to vote
SIGSOFT
2006
ACM
16 years 16 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
180
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...