6171 search results - page 633 / 1235 » The FrameNet Data and Software |
159
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
173
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
194
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...
196
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
195
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...