1099 search results - page 84 / 220 » Using Transformation Systems for Software Maintenance and Re... |
154
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
180
click to vote
WCRE
2007
IEEE
16 years 13 days ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
187
click to vote
ICSM
2007
IEEE
16 years 15 days ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
143
click to vote
AADEBUG
1993
Springer
15 years 10 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...