3763 search results - page 469 / 753 » Component-Based Software Engineering Processes |
181
click to vote
IWPC
1997
IEEE
15 years 10 months ago
1997
IEEE
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
176
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
Morphic is a user interface construction environment that strives to embody directness and liveness. Directness means a user interface designer can initiate the process of examini...
168
click to vote
PEPM
1991
ACM
15 years 10 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
180
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
199
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
We live in the information age, where the amount of data readily available already overwhelms our capacity to analyze and absorb it without help from our machines. In particular, ...