5407 search results - page 161 / 1082 » The Software Engineering Global Model |
195
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
181
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
169
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
165
click to vote
INFSOF
2008
15 years 6 months ago
2008
Although Japan represents the single largest Asian market and 10% of the global software outsourcing market, little is understood about how Japanese companies make software projec...
162
click to vote
ESEM
2009
ACM
16 years 27 days ago
2009
ACM
This paper presents the findings of a survey on quality models in practice conducted among four software companies in Germany. In the first phase of the study, 25 quality manage...