User menu

Assessing Requirements-Related Risks Through Probabilistic Goals and Obstacles

Bibliographic reference Cailliau, Antoine ; van Lamsweerde, Axel. Assessing Requirements-Related Risks Through Probabilistic Goals and Obstacles. In: Requirements Engineering, p. 1-18 (2013)
Permanent URL http://hdl.handle.net/2078.1/124513
  1. Alrajeh D, Kramer J, van Lamsweerde A, Russo A, Uchitel S (2012) Generating obstacle conditions for requirements completeness, Proceedings of ICSE’2012: 34th international conference on software engineering, Zürich
  2. Amoroso EJ (1994) Fundamentals of computer security. Prentice Hall, USA
  3. Anton A, Potts C (1998) The use of goals to surface requirements for evolving systems. In: proceedings of ICSE’1998: international conference on software engineering, Kyoto, pp 157–166
  4. Asnar Yudistira, Giorgini Paolo, Mylopoulos John, Goal-driven risk assessment in requirements engineering, 10.1007/s00766-010-0112-x
  5. Barone D, Jiang L, Amyot D, Mylopoulos J (2011) Reasoning with key performance indicators. In: Proceedings PoEM 2011, LNBIP 92: 82–96
  6. Bedford Tim, Cooke Roger, Probabilistic Risk Analysis : Foundations and Methods, ISBN:9780511813597, 10.1017/cbo9780511813597
  7. Boehm B.W., Software risk management: principles and practices, 10.1109/52.62930
  8. Borzsony S., Kossmann D., Stocker K., The Skyline operator, 10.1109/icde.2001.914855
  9. Cailliau A (2012) Risk analysis for a carpooling support system, UCL/INGI Report, September 2012, www.info.ucl.ac.be/~acaillia/publications/carpoolingsystem.html
  10. Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings FSE’4—fourth ACM SIGSOFT symposium on the foundations of software engineering, San Francisco, pp 179–190
  11. Darimont R, Lemoine M (2007) Security requirements for civil aviation with UML and goal orientation. In: Proceedings REFSQ’07—international working conference on foundations for software quality, Trondheim (Norway), LNCS 4542, Springer-Verlag, Berlin
  12. US Department of Defense (1980) Procedures for performing a failure mode effect and criticality analysis, Standard MIL-STD-1629A
  13. Feather Martin S., Cornford Steven L., Quantitative risk-based requirements reasoning, 10.1007/s00766-002-0160-y
  14. Fenton N, Neil M, Making decisions: using Bayesian nets and MCDA, 10.1016/s0950-7051(00)00071-x
  15. Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2003) Formal reasoning techniques for goal models. J Data Semant 1(1):1–20
  16. Jones C (1994) Assessment and control of software risks. Yourdon Press, Upper saddle river, NJ, USA
  17. Kwiatkowska M, Norman G, Parker D (2002) Probabilistic symbolic model checking with PRISM: a hybrid approach. In: Proceedings TACAS’02, LNCS 2280, Springer-Verlag, pp 52–66
  18. Kung H. T., Luccio F., Preparata F. P., On Finding the Maxima of a Set of Vectors, 10.1145/321906.321910
  19. van Lamsweerde A, Letier E (1998) Integrating obstacles in goal-driven requirements engineering. In: Proceedings ICSE-98: 20th International Conference on Software Engineering, Kyoto
  20. van Lamsweerde A., Letier E., Handling obstacles in goal-oriented requirements engineering, 10.1109/32.879820
  21. van Lamsweerde A (2004) Elaborating security requirements by construction of intentional anti-models. In: Proceedings ICSE’04, 26th international conference on software engineering, ACM-IEEE pp 148–157
  22. van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley, NY
  23. Report of the inquiry into the London ambulance service. The communications directorate, SW Thames Regional Authority, 1993
  24. Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings FSE 2004: 12th ACM symposium on foundation of software engineering, Newport Beach, CA, pp 53–62
  25. Leveson NG (1995) Safeware: system safety and computers. Addison-Wesley, Wokingham
  26. Leveson NG (2002) An approach to designing safe embedded software. In: Proceedings of EMSOFT 2002—embedded software: 2nd international conference, Grenoble, LNCS 2491, Springer-Verlag, pp 15–29
  27. Lund Mass Soldal, Solhaug Bjørnar, Stølen Ketil, Model-Driven Risk Analysis, ISBN:9783642123221, 10.1007/978-3-642-12323-8
  28. Lutz Robyn, Patterson-Hine Ann, Nelson Stacy, Frost Chad R., Tal Doron, Harris Robert, Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle, 10.1007/s00766-006-0039-4
  29. Robertson S, Robertson J (1999) Mastering the Requirements Process. Addison-Wesley, Wokingham
  30. Sabetzadeh M, Falessi D, Briand L, Di Alesio S, McGeorge D, Ahjem V, Borg J (2011) Combining goal models, expert elicitation, and probabilistic simulation for qualification of new technology, IEEE 13th international symposium on high-assurance systems engineering (HASE), pp 10–12