A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems
[chapter]
2013
Lecture Notes in Computer Science
Software validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout their lifecycle. While high levels of adaptation and autonomy provide new ways for software systems to operate in highly dynamic environments, developing certifiable V&V methods for guaranteeing the achievement of self-adaptive software goals is one of the major challenges facing the entire research field. In this chapter we (i) analyze
doi:10.1007/978-3-642-35813-5_5
fatcat:x5dgvmpzdzcz3pqymxru7kt644