7027 search results - page 581 / 1406 » Software process: a roadmap |
169
click to vote
APAQS
2000
IEEE
15 years 11 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...
178
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
161
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
184
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
231
Voted
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...