1200 search results - page 47 / 240 » The Problem Frames Approach to Software Engineering |
SIGSOFT
2007
ACM
14 years 9 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 ...
SELMAS
2005
Springer
14 years 2 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...
STEP
2005
IEEE
14 years 2 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 ...
WER
1999
Springer
14 years 29 days 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...
CAV
2009
Springer
14 years 9 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...