Computer Science ›› 2017, Vol. 44 ›› Issue (11): 9-14.doi: 10.11896/j.issn.1002-137X.2017.11.002
Previous Articles Next Articles
LIN Hua-shan, LIU Yang and JIAO Wen-pin
[1] LADDAGA R.Guest Editor’s Introduction:Creating Robust Software through Self-Adaptation[J].IEEE Intelligent Systems,1999,14(3):26-29. [2] CHENG B H C,DE LEMOS R,GIESE H,et al.Software Engineering for self-Adaptive Systems[M].Springer Berlin Heidelberg,2009. [3] CHENG B H C,DE LEMOS R,BENCOMO N,et al.Software Engineering for Self-Adaptive Systems:A Research Roadmap[M]∥Software Engineering for Self-Adaptive Systems II.Springer Berlin Heidelberg,2009:1-32. [4] WEYNS D,MALEK S,ANDERSSON J.FORMS:a FormalReference Model for Self-adaptation[C]∥Proceedings of the 7th International Conference on Autonomic Computing (ICAC’10).ACM,New York,NY,USA,2010:205-214. [5] WEYNS D,IFTIKHAR M U,DE LA lGLESIA D G,et al.A Survey of Formal Methods in Self-Adaptive Systems[C]∥Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering(C3S2E’12).ACM,New York,NY,USA,2012:67-79. [6] WEYNS D,IFTIKHAR M U,MALEK S,et al.Claims and Supporting Evidence for Self-Adaptive Systems:a Literature Study[C]∥Proceedings of the 7th International Symposium on Software Engineering for Adaptive and self-Managing Systems.Piscataway,NJ,USA:IEEE,2012:89-98. [7] IFTIKHAR M U,WEYNS D.A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System[J].Electronic Proceedings of Theoretical Computer Science,2012,91(103):45-46. [8] IFTIKHAR M U,WEYNS D.Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal:An Initial Study[M].2012. [9] WEYNS D,et al.On Patterns for Decentralized Control in Self-Adaptive Systmes[M]∥Software Engineering for Self-Adaptive Systems II.Springer,2012. [10] D’LPPOLITO N R,BRABERMAN V,PITERMAN N,et al.Synthesis of live behavior models[C]∥Proceedings of the eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering.ACM,2010:77-86. [11] KHAKPOUR N,KHOSRAVI R,SIRJANI M,et al.FormalAnalysis of Policy-Based Self-Adaptive Systems[C]∥ACM Symposium on Applied Computing.ACM,2010:2536-2543. [12] PARUNAK H V D,SVEN A.Brueckner:Software Engineering for self-Organizing Systems[J].Knowledge Engineering Review,2015,30(4):419-434. [13] LADDAGA R.Self Adaptive Software Problems and Projects[C]∥International IEEE Workshop on Software Evolvability (SE’06).IEEE Computer Society,2006:3-10. [14] PARUNAK H V D,et al.Software Engineering for self-Organizing Systems[J].Knowledge Engineering Review,2015,0(4):419-434. [15] BEAL J,KNIGHT JR T F.Analyzing composability in a Sparse Encoding Model of Memorization and Association [C]∥Procee-dings of the Seventh IEEE International Conference on Development and Learning (ICDL 2008).2008:180-185. [16] GEORGAS J C,TAYLOR R N.Policy-Based Architectural Adap-tation Management:Robotics Domain Case Studies[C]∥ Software Engineering for Self-adaptive Systems(DBLP).2009:89-108. [17] GERSHENSON C.Design and Control of Self-organizing Systems[J].Lap Lambert Academic Publishing,2007. [18] LEMOS R D,GIESE H,MULLER H A,et al.Software Engineering for Self-Adaptive Systems:A second Research Roadmap[M]∥Software Engineering for Self-adaptive Systems II.Springer Berlin Heidelberg.2013:1-32. [19] MORENO G A,CAMARA J,GARLAN D.Proactive Self-Ada-ptation under Uncertainty:A Probabilistic Model Checking Approach[C]∥Joint Meeting on Foundations of Software Engineering.ACM,2015:1-12. |
No related articles found! |
|