Self-adaptive architecture evolution with model checking: A software cybernetics approach-Reference-Cited by-同舟云学术

Self-adaptive architecture evolution with model checking: A software cybernetics approach

Author:

Chen Luxi,Huang Linpeng,Li Chen,Wu Xiwen

Funder

National Natural Science Foundation of China

Science and Technology Commission of Shanghai Municipality

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference67 articles.

1. Model checking goal-oriented requirements for self-adaptive systems;Abeywickrama,2012

2. Specifying and analyzing dynamic software architectures;Allen,1998

4. Principles of Model Checking;Baier,2008

5. Component-based verification using incremental design and invariants;Bensalem;Software Syst. Model.,2014

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

1. Short-term prediction of offshore wind power based on an improved N-BEATSX model;2023 IEEE 6th International Electrical and Energy Conference (CIEEC);2023-05-12

2. LLCF: A Load- and Location-Aware Collaborative Filtering Algorithm to Predict QoS of Web Service;2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2022-12

5. S-ADA: Software as an Autonomous, Dependable and Affordable System;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S);2021-06