6978 search results - page 237 / 1396 » Reframing Requirements Analysis |
166
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
168
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
156
click to vote
SAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
176
click to vote
ECLIPSE
2006
ACM
16 years 16 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
192
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...