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 条
  • [21] A Formal Model for Self-Adaptive and Self-Healing Organizations
    Haesevoets, Robrecht
    Weyns, Danny
    Holvoet, Tom
    Joosen, Wouter
    2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, 2009, : 116 - 125
  • [22] SELF-ADAPTIVE CONTROL SYSTEMS
    DIPROSE, KV
    AERONAUTICAL JOURNAL, 1968, 72 (688): : 367 - &
  • [23] Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems
    Kashi, Rajanikanth N.
    D'Souza, Meenakshi
    Kishore, Koyalkar Raman
    COMPUTE'17: PROCEEDINGS OF THE 10TH ANNUAL ACM INDIA COMPUTE CONFERENCE, 2017, : 137 - 142
  • [24] Self-adaptive material systems
    Arnaut, LR
    ADVANCES IN ELECTROMAGNETICS OF COMPLEX MEDIA AND METAMATERIALS, 2002, 89 : 421 - 438
  • [25] A Survey of Self-Adaptive Business Processes
    Oukharijane, Jamila
    Ben Said, Imen
    Chaabane, Mohamed Amine
    Bouaziz, Rafik
    Andonoff, Eric
    VISION 2020: SUSTAINABLE ECONOMIC DEVELOPMENT AND APPLICATION OF INNOVATION MANAGEMENT, 2018, : 1388 - 1402
  • [26] Self-adaptive systems: A survey of current approaches, research challenges and applications
    Macias-Escriva, Frank D.
    Haber, Rodolfo
    del Toro, Raul
    Hernandez, Vicente
    EXPERT SYSTEMS WITH APPLICATIONS, 2013, 40 (18) : 7267 - 7279
  • [27] Formal Modelling and Analysis of a Self-Adaptive Robotic System
    Passler, Juliane
    ter Beek, Maurice H.
    Damiani, Ferruccio
    Tarifa, Silvia Lizeth Tapia
    Johnsen, Einar Broch
    INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 343 - 363
  • [28] Formal Modeling of Self-Adaptive Resource Scheduling in Cloud
    Khan, Atif Ishaq
    Kazmi, Syed Asad Raza
    Qasim, Awais
    CMC-COMPUTERS MATERIALS & CONTINUA, 2023, 74 (01): : 1183 - 1197
  • [29] SELF-ADAPTIVE BOUNDARY ELEMENT METHODS
    YU, DH
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1988, 68 (05): : T435 - T437
  • [30] Formal Models and Analysis for Self-adaptive Cyber-physical Systems (Extended Abstract)
    Giese, Holger
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 3 - 9
12345