1099 search results - page 84 / 220 » Using Transformation Systems for Software Maintenance and Re... |
118
Voted
CC
2003
Springer
15 years 8 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...
138
click to vote
ENTCS
2008
15 years 3 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 ...
136
Voted
WCRE
2007
IEEE
15 years 9 months 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...
145
Voted
ICSM
2007
IEEE
15 years 9 months 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...
110
Voted
AADEBUG
1993
Springer
15 years 7 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...