|
[MRAAB16]
Danilo Filgueira Mendonça, Genaína Nunes Rodriguesa, Raian Alib, Vander Alvesa and Luciano Baresi.
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis.
Information and Software Technology, 80, pages 245–264, Elsevier.
2016.
[Proposes GODA, a goal-oriented requirements engineering framework for runtime dependability analysis, which uses probabilistic model checking and PRISM for underlying analysis.
]
|
|
Links:
[Google]
[Google Scholar]
|