Self-Adaptive Software Needs Quantitative Verification at Runtime

被引：157
|
作者：
Calinescu, Radu [1 ]
Ghezzi, Carlo [2 ]
Kwiatkowska, Marta [3 ]
Mirandola, Raffaela [2 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
[2] Politecn Milan, Dipartimento Elettron & Informaz, Milan, Italy
[3] Univ Oxford, Trinity Coll, Oxford OX1 2JD, England
来源：
COMMUNICATIONS OF THE ACM | 2012年 / 55卷 / 09期
基金：
英国工程与自然科学研究理事会;
关键词：
MODEL CHECKING; SYSTEMS;
D O I：
10.1145/2330667.2330686
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：69 / 77
页数：9
相关论文
共 50 条
  • [41] Modeling Dimensions of Self-Adaptive Software Systems
    Andersson, Jesper
    de Lemos, Rogerio
    Malek, Sam
    Weyns, Danny
    SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS, 2009, 5525 : 27 - +
  • [42] Self-adaptive Software with Decentralised Control Loops
    Calinescu, Radu
    Gerasimou, Simos
    Banks, Alec
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 235 - 251
  • [43] Robot shows self-adaptive software techniques
    不详
    R&D MAGAZINE, 2000, 42 (09): : I16 - I16
  • [44] An Integrated approach to developing self-adaptive software
    State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
    不详
    不详
    J. Inf. Sci. Eng., 4 (1071-1085):
  • [45] Uncertainty modeling of self-adaptive software requirement
    Liu, Wei
    Feng, Zaiwen
    International Journal of Advancements in Computing Technology, 2012, 4 (11) : 87 - 95
  • [46] From wetware to software: A cybernetic perspective of self-adaptive software
    Laws, AG
    Taleb-Bendiab, A
    Wade, SJ
    Reilly, D
    SELF-ADAPTIVE SOFTWARE: APPLICATIONS, 2001, 2614 : 257 - 280
  • [47] 10 Challenges for the Specification of Self-Adaptive Software
    Munoz-Fernandez, Juan C.
    Mazo, Raul
    Salinesi, Camille
    Tamura, Gabriel
    2018 12TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2018,
  • [48] The mathematical model of reflection for self-adaptive software
    Bershadsky, A. M.
    Bozhday, A. S.
    Evseeva, Yu, I
    Gudkov, A. A.
    2018 9TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS AND APPLICATIONS (IISA), 2018, : 193 - 197
  • [49] Self-Adaptive Software: Landscape and Research Challenges
    Salehie, Mazeiar
    Tahvildari, Ladan
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2009, 4 (02)
  • [50] Control Strategies for Self-Adaptive Software Systems
    Filieri, Antonio
    Maggio, Martina
    Angelopoulos, Konstantinos
    D'Ippolito, Nicolas
    Gerostathopoulos, Ilias
    Hempel, Andreas Berndt
    Hoffmann, Henry
    Jamshidi, Pooyan
    Kalyvianaki, Evangelia
    Klein, Cristian
    Krikava, Filip
    Misailovic, Sasa
    Papadopoulos, Alessandro V.
    Ray, Suprio
    Sharifloo, Amir M.
    Shevtsov, Stepan
    Ujma, Mateusz
    Vogel, Thomas
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 11 (04)
12345