2342 search results - page 277 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
124
click to vote
ENTCS
2010
15 years 1 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
140
click to vote
CSSW
2007
15 years 5 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
137
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
129
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
115
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...