3889 search results - page 334 / 778 » The Use of Program Dependence Graphs in Software Engineering |
169
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
129
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
145
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
179
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
125
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...