618 search results - page 19 / 124 » A Practical Program Transformation System for Reverse Engine... |
113
click to vote
AFP
2004
Springer
15 years 5 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
ICSM
1999
IEEE
15 years 4 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...
DAGSTUHL
2007
15 years 1 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
100
click to vote
CSMR
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
122
click to vote
ASP
2003
Springer
15 years 5 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...