1200 search results - page 47 / 240 » The Problem Frames Approach to Software Engineering |
125
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
145
click to vote
SELMAS
2005
Springer
15 years 8 months ago
2005
Springer
Despite the relevance of the concept of role for conceptual modeling and agent-orientation, there is still in the literature a lack of consensus on the meaning of this notion and h...
107
click to vote
STEP
2005
IEEE
15 years 8 months ago
2005
IEEE
The article focuses on a problem software companies often face: the need to choose a software quality model that, besides being auditable, ensures the connection of quality goals ...
119
click to vote
WER
1999
Springer
15 years 6 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
121
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...