Author:
Anggraini Ratih N. E.,Martin T. P.
Publisher
Springer International Publishing
Reference9 articles.
1. Tamura, G., Villegas, N., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., et al., (eds.) Software Engineering for Self-adaptive Systems II, Revised Selected and Invited Papers, Dagstuhl Castle, Germany, 24–29 October 2010, pp. 108–132. Springer, Heidelberg (2013)
2. Whittle, J., Sawyer, P., et al.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15, 177–196 (2010). ISSN 1432-010X
3. Ahmad, M., Belloir, N., Bruel, J.-M.: Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems. J. Syst. Softw. 107, 50–70 (2015)
4. Systems and software engineering – Vocabulary. ISO/IEC/IEEE 24765:2010(E), pp. 1–418. (2010).
http://www.uppaal.org/
5. UPPAAL website (2017).
http://www.uppaal.org/