A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees

A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees

Modern software systems are increasingly characterized by uncertainties in the operating context and user requirements. These uncertainties are difficult to predict at design time. Achieving the quality goals of such systems depends on the ability of the software to deal with these uncertainties at...

Full description

Bibliographic Details
Main Author: Iftikhar, Muhammad Usman
Format: Doctoral Thesis
Language:English
Published: Linnéuniversitetet, Institutionen för datavetenskap, fysik och matematik, DFM 2017
Subjects:
Self-adaptive software systems
MAPE-K feedback loop
Statistical model checking
Analytical methods
Computer Science
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-69136
http://nbn-resolving.de/urn:isbn:978-91-88761-05-7
http://nbn-resolving.de/urn:isbn:978-91-88761-04-0

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-69136
http://nbn-resolving.de/urn:isbn:978-91-88761-05-7
http://nbn-resolving.de/urn:isbn:978-91-88761-04-0

Similar Items