3943 search results - page 36 / 789 » Architecture-Level Requirements Specification |
159
Voted
RE
2006
Springer
15 years 5 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
133
click to vote
JUCS
2000
15 years 5 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...
190
click to vote
WER
2004
Springer
15 years 10 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
159
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
161
click to vote
RIAO
2000
15 years 6 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...