107 search results - page 11 / 22 » Program comprehension as fact finding |
FASE
2007
Springer
14 years 1 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
ICALT
2003
IEEE
14 years 28 days ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
ENTCS
2006
13 years 7 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
JSS
2006
13 years 7 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
SOFTVIS
2010
ACM
13 years 5 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...