Modeling and verifying self-adaptive systems: A refinement approach
暂无分享,去创建一个
[1] Thai Son Hoang,et al. Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.
[2] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[3] Jesper Andersson,et al. FORMS: a formal reference model for self-adaptation , 2010, ICAC '10.
[4] Danny Weyns,et al. A survey of formal methods in self-adaptive systems , 2012, C3S2E '12.
[5] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[6] Ahmed Hadj Kacem,et al. A correct by construction approach for modeling and formalizing self-adaptive systems , 2016, 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).
[7] Paolo Arcaini,et al. Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation , 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
[8] Franco Zambonelli,et al. SimSOTA: engineering and simulating feedback loops for self-adaptive systems , 2013, C3S2E '13.