18769 search results - page 63 / 3754 » Requirements Models in Context |
123
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
142
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
129
click to vote
TSE
1998
15 years 3 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...
119
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
152
click to vote
ICONS
2009
IEEE
15 years 10 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...