9182 search results - page 47 / 1837 » Requirements for Requirements Management Tools |
121
click to vote
JUCS
2000
15 years 3 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
134
Voted
SOCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
117
click to vote
JSS
2002
15 years 3 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
146
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
146
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...