3441 search results - page 195 / 689 » Provenance of Software Development Processes |
129
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
Managing traceability data is an important aspect of the software development process. In this paper we investigate to what extent latent semantic indexing (LSI), an information r...
133
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
153
Voted
CISSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- This article analyzes experiment results regarding subjective perception of a web application. Software quality models, since the first publications on this subject, pro...
130
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
148
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...