3889 search results - page 73 / 778 » The Use of Program Dependence Graphs in Software Engineering |
120
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
139
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
123
Voted
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
137
Voted
WCRE
1993
IEEE
15 years 7 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
145
Voted
SOFTWARE
2002
15 years 3 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...