1685 search results - page 69 / 337 » Commonality and Variability in Software Engineering |
162
click to vote
VMCAI
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
114
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
123
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
119
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
128
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...