3889 search results - page 207 / 778 » The Use of Program Dependence Graphs in Software Engineering |
129
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
171
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
118
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
128
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
132
click to vote
PEPM
1998
ACM
15 years 8 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...