[SCRVP19]
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel and Patrizio Pelliccione.
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach.
In Proc. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'19).
2019.
[Proposes an assurance process for self-adaptive systems, with an implementation based on PRISM.]
|
Links:
[Google]
[Google Scholar]
|