7380 search results - page 436 / 1476 » Engineering Software Intensive Systems |
149
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
167
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
133
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
147
click to vote
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
165
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...