1128 search results - page 97 / 226 » Little Engines of Proof |
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
ACMACE
2006
ACM
15 years 3 months ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
113
click to vote
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
XPU
2005
Springer
15 years 3 months ago
2005
Springer
Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory pr...