23119 search results - page 133 / 4624 » From Domain to Requirements |
156
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
157
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Mobile users today demand ubiquitous access to their data from any mobile device and under variable connection quality. We refer to this requirement as any-time, any-where data ac...
185
click to vote
CIDR
2009
15 years 7 months ago
2009
: For the past year, we have been assembling requirements from a collection of scientific data base users from astronomy, particle physics, fusion, remote sensing, oceanography, an...
160
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Rapidly changing technology is one of the key triggers of system evolution. Some examples are: physically relocating a data center; replacement of infrastructure such as migrating ...
138
click to vote
XPU
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...