A survey of formal methods in self-adaptive systems

被引：0
|
作者：
Department of Computer Science, Linnaeus University, Växjö, Sweden [1 ]
机构：
来源：
ACM Int. Conf. Proc. Ser. | / 67-79期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 50 条
  • [41] Reflecting on Self-Adaptive Software Systems
    Andersson, Jesper
    de Lemos, Rogerio
    Malek, Sam
    Weyns, Danny
    2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, 2009, : 38 - +
  • [42] Natural inspiration for self-adaptive systems
    Anthony, RJ
    15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2004, : 732 - 736
  • [43] On Designing Self-Adaptive Software Systems
    Villegas, Norha M.
    Mueller, Hausi A.
    Tamura, Gabriel
    SISTEMAS & TELEMATICA, 2011, 9 (18): : 29 - 51
  • [44] An Evaluation Method for Self-Adaptive Systems
    Farahani, Ali
    Cabri, Giacomo
    Nazemi, Eslam
    Rafizadeh, Alireza
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 2814 - 2820
  • [45] Automated Planning for Self-Adaptive Systems
    Gil, Richard
    2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 839 - 842
  • [46] Uncertainty Reduction in Self-Adaptive Systems
    Moreno, Gabriel A.
    Camara, Javier
    Garlan, David
    Klein, Mark
    2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), 2018, : 51 - 57
  • [47] Modeling of self-adaptive systems with SCADE
    Guedemann, Matthias
    Angerer, Andreas
    Ortmeier, Frank
    Reif, Wolfgang
    2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 2922 - 2925
  • [48] Architectural Solutions for Self-Adaptive Systems
    Garces, Lina
    Martinez-Fernandez, Silverio
    Graciano Neto, Valdemar Vicente
    Nakagawa, Elisa Yumi
    COMPUTER, 2020, 53 (12) : 47 - 59
  • [49] Architecting Self-adaptive Software Systems
    Huuhtanen, Anni
    Makitalo, Niko
    Mikkonen, Tommi
    CURRENT TRENDS IN WEB ENGINEERING (ICWE 2018), 2018, 11153 : 59 - 70
  • [50] Networks of Self-Adaptive Dynamical Systems
    Rodriguez, Julio
    Hongler, Max-Olivier
    IMA JOURNAL OF APPLIED MATHEMATICS, 2014, 79 (02) : 201 - 240
12345