• No results found

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

N/A
N/A
Protected

Academic year: 2019

Share "Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases"

Copied!
31
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Fig. 1. Closed-loop control is used to automate software adaptation
Fig. 3. Example of a GSN assurance argument
TABLE 1Comparison of systems used to assess the generality of ENTRUST
Fig. 5. Foreign exchange trading (FX) workflow
+7

References

Related documents

Source: International Monetary Fund, 2011... Real GDP

Baldwin et al (2001) argue that a selective sourcing approach is a strategy that minimises risks, maximises benefits and reduces costs. However, if this sourcing strategy

Difficult problem: How can the search engine tell what the user need or intent for a particular query is?.. User intent: Answering the need behind

In our comparison with the popular motif finding tool MEME, we find that our PST based approach takes much less time and finds larger number of statistically significant motifs

If the electricity generated by the farm or group net metering system is less than the total usage of all meters included in the farm or group net metering system during the

A proposta do Interacionismo Sociodiscursivo para o ensino de línguas estrangeiras propõe que os conteúdos linguísticos-discursivos devem ser trabalhados a partir

It introduces a new approach to handling these outliers using a method based on robust statistics: namely, the median multitaper method for power spectral estimation.. It