3889 search results - page 264 / 778 » The Use of Program Dependence Graphs in Software Engineering |
200
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
191
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
145
Voted
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
209
click to vote
REFSQ
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
184
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...