Een control-theoretische aanpak voor zelf-adaptieve software systemen met formele garanties KU Leuven
Software engineers worden in toenemende mate geconfronteerd met onzekerheden tijdens het ontwerp van systemen. Voorbeelden hiervan zijn dynamische veranderingen in de omgeving die moeilijk te voorspellen zijn of vereisten van gebruikers die tijdens de uitvoering veranderen. Het idee van zelf-aanpassing is om dergelijke onzekerheden te behandelen tijdens de uitvoering van het systeem, wanneer de ontbrekende informatie beschikbaar wordt. ...