5180 search results - page 84 / 1036 » Requirements Engineering |
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
120
click to vote
SOCO
2009
Springer
15 years 9 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...
108
click to vote
ISSTA
1989
ACM
15 years 6 months ago
1989
ACM
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
132
click to vote
ICRE
1998
IEEE
15 years 6 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...
122
click to vote
ACSC
2001
IEEE
15 years 6 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...