5252 search results - page 399 / 1051 » Requirements engineering: a roadmap |
199
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
This paper is a critical analysis of the concept of ontology thus as it is used in computing science. It identifies three main problems with such a concept, two of which are intri...
231
click to vote
FATES
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
214
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
201
click to vote
GCC
2006
Springer
15 years 11 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
228
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...