Sökning: "Luciano Baresi"

Hittade 1 avhandling innehållade orden Luciano Baresi.

1. 1. A Formal Approach for Designing Distributed Self-Adaptive Systems

   Författare :Didac Gil de la Iglesia; Danny Weyns; Marcelo Milrad; Jesper Andersson; Luciano Baresi; Linnéuniversitetet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Self-Adaptive systems; Formal Methods; MAPE-K; Robustness; Openness; Mobile Learning; Computer Science; Datavetenskap; Media Technology; Medieteknik;

   Sammanfattning : Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. LÄS MER