kirancodes.me
To Proof Maintenance & Beyond!

Risk-driven revision of requirements models

Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Abstract

Requirements incompleteness is often the result of unanticipated adverse conditions which prevent the software and its environment from behaving as expected. These conditions represent risks that can cause severe software failures. The identification and resolution of such risks is therefore a crucial step towards requirements completeness. Obstacle analysis is a goal-driven form of risk analysis that aims at detecting missing conditions that can obstruct goals from being satisfied in a given domain, and resolving them.

BibTeX
@inproceedings{Alrajeh-al:ICSE16,
  author    = {Dalal Alrajeh and
               Axel van Lamsweerde and
               Jeff Kramer and
               Alessandra Russo and
               Sebasti{\'{a}}n Uchitel},
  title     = {Risk-driven revision of requirements models},
  booktitle = {ICSE},
  pages     = {855--865},
  publisher = {{ACM}},
  year      = {2016},
}

Related papers