Formal Framework for Specifying Dynamic Reconfiguration of Adaptive Systems
IET Software（2013）
Key words
adaptive systems,formal specification,software architecture,synchronisation,vectors,formal framework,dynamic reconfiguration specification,adaptive systems,software systems,software adaptation techniques,change problem,change reconfiguration,adaptation contract,system architecture,mathematical model,adaptor system,synchronisation vectors
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined