3441 search results - page 382 / 689 » Provenance of Software Development Processes |
132
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
121
click to vote
APAQS
2000
IEEE
15 years 9 months ago
2000
IEEE
Six Sigma provides an effective mechanism to focus on customer requirements, through improvement of process quality. In the Global Engineering Development Center of Tata Consultan...
124
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
126
click to vote
SERP
2003
15 years 5 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
127
click to vote
CASCON
1996
15 years 5 months ago
1996
: This paper presents an approach for defining evaluation criteria for reusable software components. We introduce a taxonomy of factors that influence selection, describe each of t...