Een model-gebaseerde aanpak voor het ontwikkelen van zelf-adaptieve systemen met garanties KU Leuven
Jesper Andersson, Danny Weyns
Moderne software systemen zijn in toenemende mate onderhevig aan onzekerheden die vaak moeilijk te voorspellen zijn tijdens de ontwikkeling. Voorbeelden zijn wijzigingen in de context waarin systemen uitvoeren en veranderingen in de beschikbaarheid van noodzakelijke diensten. Om de vereiste kwaliteiten te kunnen waarborgen (betrouwbaarheid, prestaties, e.d.) dient de software met de onzekerheden om te gaan tijdens de uitvoering. Een ...