Applications of tool support for risk-informed requirements reasoning

Computer Systems Science and Engineering

Volumn 20, Issue 1, 2005, Pages 5-17

  Feather, Martin S ^a   Cornford, Steven L ^a   Hicks, Kenneth A ^a   Johnson, Kenneth R ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Requirements reasoning; Tool support

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; COSTS; DECISION MAKING; EXPERT SYSTEMS; INFORMATION ANALYSIS; LIFE CYCLE; OPTIMIZATION; PLANNING; PROBLEM SOLVING; QUALITY ASSURANCE; RESOURCE ALLOCATION; RISK MANAGEMENT; SOCIETIES AND INSTITUTIONS;

COMPUTER SOFTWARE TOOL - DEFECT DETECTION AND PLANNING (DDP); QUANTITATIVE GOALS; REQUIREMENTS REASONING; TOOL SUPPORT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 13244278129     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. Cornford, S L Managing Risk us a Resource using the Defect Detection and Prevention process. 4th International Conference on Probabilistic Safety Assessment and Management, New York City, NY, International Association for Probabilistic Safety Assessment and Management (September 1998)
2. Feather, M S, Cornford, S L and Gibbel, M Scalable Mechanisms for Goals Interaction Management, 4th IEEE International Conference on Requirements Engineering, Schaumburg. Illinois, IEEE Computer Society, pp 119-129 (June 2000)
3. Cornford, S L, Feather, M S and Hicks, K A DDP - A tool for life-cycle risk management, IEEE Aerospace Conference, Big Sky. Montana, pp 441-451 (March 2001)
4. Feather, M S and Cornford, S L Quantitative risk-based requirements reasoning, Requirements Engineering (Springer), Vol 8 #4, pp 248-265 (2003); published online 25 February 2003, DOI 10.1007/s00766-002-0160-y.
5. Feather, M S, Cornford, S L and Hicks, K A Descoping. 27th NASA IEEE Software Engineering Workshop, Greenbelt Maryland (December 2002)
6. Tufte, E The Visual Display of Quantitative Information, Graphics Press. Cheshire. Connecticut (1983)
7. Stamatelatos, M et al. Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, http://www.hq.nasa.gov/office/codeq/doctree/praguide.pdf Office of Safety and Mission Assurance, NASA Headquarters, Washington, DC 20546 (August 2002)
8. Sen, P and Yang, J-B Multiple Criteria Decision Support in Engineering Design, Springer-Verlag (1998)
9. Feather, M S, Kiper, J D and Kalafat, S Combining Heuristic Search, Visualization and Data Mining for Exploration of System Design Spaces, Proceedings of INCOSE 2004 (14th International Symposium), Toulouse. France, (June 2004)
10. Feather, M S Towards a Unified Approach to the Representation of, and Reasoning with. Probabilistic Risk Information about Software and its System Interface, Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, Saint Malo, Bretagne, France, 2-5 (November 2004). Available from: http://eis.jpl.nasa.gov/~mfeather/Publications.html
11. Sullivan, K J, Dugan, J B and Coppit, D The Galileo Fault Tree Analysis Tool, Proceedings of the 29th International Conference on Fault-Tolerant Computing (FTCS-29) (1999)
12. Cornford, S L, Feather M S, Dunphy J R, Salcedo, J and Menzies, T Optimizing Spacecraft Design - Optimization Engine Development: Progress and Plans, IEEE Aerospace Conference, Big Sky, Montana, pp 8-3681-8-3690 (March 2003)
13. Karlsson, J and Ryan, K A Cost-Value Approach for Prioritizing Requirements. IEEE Software, pp 67-74 (September/October 1997)
14. Boehm, B, Bose, P, Horowitz, E and Lee, M Software Requirements as Negotiated Win Conditions, Proceedings 1st International Conference on Requirements Engineering, Colorado Springs, Colorado, pp 74-83 (1994)
15. In. H, Boehm, B, Rodgers, T and Deutsch, M "Applying Win-Win to Quality Requirements: A Case Study". Proceedings 23rd International Conference on Software Engineering, Toronto, Ont., Canada, pp 555-564 (2001)
16. Chung, L, Nixon, B A, Yu, E and Mylopoulos, J Non-Functional Requirements in Software Engineering, Kluwer Academic Publishers. Boston (1999)
17. Mylopoulos, J, Chung, L, Liao, S, Wang, H and Yu, E Exploring Alternatives during Requirements Analysis, IEEE Software 18(1) pp 92-96 (2001)
18. Akao, Y Quality Function Deployment, Productivity Press, Cambridge, Massachusetts (1990)
19. Fenton, N, Marsh, W, Neu, M, Cates, P, Forey, S and Tailor, M Making resource decisions for software projects, Proceedings of the 26th International Conference on Software Engineering, 2004, May 23-28. pp 397-406 (2004)
20. Wakeland, W, Martin, R H and Raffo, D Using Design of Experiments, Sensitivity Analysis, and Hybrid Simulation to Evaluate Changes to a Software Development Process: A Case Study. Proceedings of International Workshop on Software Process Simulation and Modeling (ProSim'03). Portland. OR (May 2003)
21. Boehm, B et al. Software Cost Estimation with COCOMO II, Prentice Hall, Upper Saddle River, NJ (2000)
22. Boehm, B, Huang, L, Jain, A and Madachy, R The ROI of Software Dependability: The iDave Model. IEEE Software, 12(3): pp 54-61, (May/June 2004)
23. Stutzke, M A and Smidts, C S A Stochastic Model of Fault Introduction & Removal During Software Development. IEEE Transactions on Reliability, 50(2): pp 184-193 (June 2001)
24. Ullman, D G 12 Steps to Robust Decisions: Building Consensus in Product Development and Business, Trafford Publishing, ISBN 1-55212-576-9 (2001)
25. Cornford, S L, Paulos, T, Meshkat, L and Feather, M S Towards More Accurate Life Cycle Risk Management Through Integration of DDP and PRA, IEEE Aerospace Conference, Big Sky, MT, pp 2.1106-2.1200 (March 2003)
26. Lutz, R and Woodhouse, R Requirements Analysis using Forward and Backward Search, Annals of Software Engineering, Special Volume on Requirements Engineering, 3. pp 459-475 (1997)
27. van Lamsweerde, A and Letter, E Integrating Obstacles in Goal-Driven Requirements Engineering, ICSE98 - 20th International Conference on Software Engineering, IEEE-ACM. Kyoto (April 1998)
28. Letier, E and van Lamsweerde, A Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering, to appear in the Proceedings of ACM/SICSOFT 2004/FSE-I2, Newport Beach, CA (2004)