3514 search results - page 244 / 703 » Evolving Specification Engineering |
149
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper presents an overview of the role of concepts in program comprehension. It discusses concept location, in which the implementation of a specific concept is located in the...
196
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
129
click to vote
IWPC
2000
IEEE
15 years 10 months ago
2000
IEEE
Software change requests are often formulated as requests to modify or to add a specific feature or concept. To implement these changes, the features or concepts must be located i...
174
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
151
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...