Sciweavers

2249 search results - page 23 / 450
» ILP-based engineering change
Sort
View
101
Voted
VMCAI
2007
Springer
15 years 9 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
99
Voted
CSMR
2006
IEEE
15 years 8 months ago
Chronia: Visualizing How Developers Change Software Systems
To understand a certain issue of the system we want to ask the knowledgeable developers. Yet, in large systems, not every developer is knowledgeable in all the details of the syst...
Mauricio Seeberger, Adrian Kuhn, Tudor Gîrba...
59
Voted
CACM
2006
52views more  CACM 2006»
15 years 2 months ago
Multi-level customization in application engineering
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan...
124
Voted
IWPSE
2010
IEEE
15 years 20 days ago
An automated hint generation approach for supporting the evolution of requirements specifications
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
Eya Ben Charrada, Martin Glinz
80
Voted
VMCAI
2005
Springer
15 years 8 months ago
Abstract Interpretation with Alien Expressions and Heap Structures
Bor-Yuh Evan Chang, K. Rustan M. Leino