Title :
Adaptive Software Needs Continuous Verification
Author_Institution :
Dipt. di Elettron. e Inf., Politec. di Milano, Milan, Italy
Abstract :
Extended abstract of keynote presentation
Keywords :
Markov processes; learning (artificial intelligence); program verification; software maintenance; software performance evaluation; software reliability; system monitoring; system recovery; DTMC model; Markov models; adaptive software; automated probabilistic model checking; continuous service; continuous verification; design decision; design-time knowledge; discrete-time Markov chain; environment change; interaction-intensive application; machine learning; model transformation; recovery action; run-time environment monitoring; service-oriented business application; software application; software behavior adaptation; software development; software evolution; software performance; software reliability; software solution; system requirements; Adaptation model; Analytical models; Computational modeling; Markov processes; Monitoring; Probabilistic logic; Software;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa, Italy
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.8
