3376 search results - page 130 / 676 » Analyzing Software Evolvability |
123
click to vote
CSEE
2006
Springer
15 years 8 months ago
2006
Springer
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
160
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
137
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
136
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
130
click to vote
PAKDD
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. The data stream model of computation is often used for analyzing huge volumes of continuously arriving data. In this paper, we present a novel algorithm called DUCstream ...