5407 search results - page 161 / 1082 » The Software Engineering Global Model |
153
Voted
KBSE
2005
IEEE
15 years 9 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...
139
Voted
EUROMICRO
1998
IEEE
15 years 7 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...
130
click to vote
SIGSOFT
2004
ACM
16 years 4 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...
121
Voted
INFSOF
2008
15 years 3 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...
123
Voted
ESEM
2009
ACM
15 years 10 months 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...