493 search results - page 77 / 99 » An Analysis of Tool-Based Research in Software Engineering |
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
WCRE
2005
IEEE
15 years 3 months ago
2005
IEEE
It is a common understanding that identifying the same entity such as module, file, and function between revisions is important for software evolution related analysis. Most softw...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
111
click to vote
CIKM
2010
Springer
14 years 6 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...