5180 search results - page 95 / 1036 » Requirements Engineering |
122
click to vote
ICRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Pervasive societal dependency on large-scale, unbounded network systems, the substantial risks of such dependency, and the growing sophistication of system intruders, have focused...
109
click to vote
RE
2007
Springer
15 years 2 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
113
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
106
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
127
click to vote
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
— Requirements changes during software development pose a risk to cost, schedule and quality while at the same time providing an opportunity to add value. Provision of a generic ...