3889 search results - page 309 / 778 » The Use of Program Dependence Graphs in Software Engineering |
144
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
136
Voted
SCAM
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
140
click to vote
ICESS
2007
Springer
15 years 11 months ago
2007
Springer
In an embedded system including a base processor integrated with a tightly coupled accelerator, extracting frequently executed portions of the code (hot portion) and executing thei...
136
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
148
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...