15885 search results - page 874 / 3177 » Strategic Software Engineering |
157
click to vote
ISPW
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...
286
click to vote
SEKE
2009
Springer
16 years 2 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
173
click to vote
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
185
Voted
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
186
click to vote
IWPC
2007
IEEE
16 years 2 months ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...