9182 search results - page 211 / 1837 » Requirements for Requirements Management Tools |
150
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
122
click to vote
JASIS
2008
15 years 4 months ago
2008
Data cubes for OLAP (Online Analytical Processing) often need to be constructed from data located in several distributed and autonomous information sources. Such a data integratio...
134
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
150
click to vote
CLEIEJ
2010
15 years 1 months ago
2010
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...
120
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
In the last decade, software product management has received much practical attention, though research in this area is still scattered. In this paper, we present a reference frame...