A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications-Reference-Cited by-同舟云学术

A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Petrovska Ana¹^ORCID,Hutzelmann Thomas¹^ORCID,Kugele Stefan²^ORCID

Affiliation:

1. TUM School of Computation, Information and Technology, Technical University of Munich, Munich, Germany

2. Research Institute AImotion Bavaria, Technische Hochschule Ingolstadt, Ingolstadt, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577665

Reference32 articles.

1. Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation

2. Manfred Broy . 2017. Formalizing Adaptivity , Dynamics , Context-Awareness, Autonomy. ( 2017 ). unpublished. Manfred Broy. 2017. Formalizing Adaptivity, Dynamics, Context-Awareness, Autonomy. (2017). unpublished.

3. Formalizing the notion of adaptive system behavior

4. Manfred Broy and Ketil Stølen . 2001. Specification and development of interactive systems: Focus on streams, interfaces, and refinement . Springer , New York . Manfred Broy and Ketil Stølen. 2001. Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, New York.

5. Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , and Andrea Vandin . 2012 . A conceptual framework for adaptation . In International Conference on Fundamental Approaches to Software Engineering. Springer, 240--254 . Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin. 2012. A conceptual framework for adaptation. In International Conference on Fundamental Approaches to Software Engineering. Springer, 240--254.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Self-adaptive HPL-Based Benchmark with Dynamic Task Parallelism for Multicore Systems;Lecture Notes in Networks and Systems;2024