DocumentCode
3117642
Title
Adaptive Software Needs Continuous Verification
Author
Ghezzi, Carlo
Author_Institution
Dipt. di Elettron. e Inf., Politec. di Milano, Milan, Italy
fYear
2010
fDate
13-18 Sept. 2010
Firstpage
3
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SEFM.2010.8
Filename
5637398
Link To Document