Rigorous Engineering of Collective Adaptive Systems Introduction to the 5th Track Edition

被引：0
|
作者：
Wirsing, Martin [1 ]
De Nicola, Rocco [2 ]
Jaehnichen, Stefan [3 ,4 ]
Tribastone, Mirco [2 ]
机构：
[1] Ludwig Maximilians Univ Munchen, Munich, Germany
[2] IMT Sch Adv Studies Lucca, Lucca, Italy
[3] TU Berlin, Berlin, Germany
[4] FZI Forschungszentrum Informat Berlin, Berlin, Germany
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: RIGOROUS ENGINEERING OF COLLECTIVE ADAPTIVE SYSTEMS, PT II, ISOLA 2024 | 2025年 / 15220卷
关键词：
adaptive system; collective system; ensemble; software engineering; formal method; rigorous method; machine learning; large language model;
D O I：
10.1007/978-3-031-75107-3_1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A collective adaptive system is made up of cooperating entities that can adjust in real time to evolving, open environments and shifting requirements. To ensure such a system meets its intended goals, rigorous engineering must employ suitable methods and tools. This introduction offers a short overview of the 5(th) edition of the track "Rigorous Engineering of Collective Adaptive Systems" and briefly presents the 20 scientific contributions, organised into seven thematic sections. Large Ensembles and Collective Dynamics, Knowledge, Consciousness and Emergence, Automated Reasoning for Better Interaction, Modelling and Engineering Collective Adaptive Systems, Analysing Collective Adaptive Systems.
引用
收藏
页码：1 / 12
页数：12
相关论文
共 12 条
  • [1] Rigorous engineering of collective adaptive systems: special section
    Rocco De Nicola
    Stefan Jähnichen
    Martin Wirsing
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 389 - 397
  • [2] Rigorous engineering of collective adaptive systems: special section
    De Nicola, Rocco
    Jaehnichen, Stefan
    Wirsing, Martin
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (04) : 389 - 397
  • [3] Rigorous engineering of collective adaptive systems – 2nd special section
    Martin Wirsing
    Stefan Jähnichen
    Rocco De Nicola
    International Journal on Software Tools for Technology Transfer, 2023, 25 : 617 - 624
  • [4] Rigorous engineering of collective adaptive systems-2nd special section
    Wirsing, Martin
    Jaehnichen, Stefan
    De Nicola, Rocco
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (5-6) : 617 - 624
  • [5] Engineering Collective Adaptive Systems with CASSim
    Riley, Ian
    Gamble, Rose
    2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2022), 2022, : 76 - 81
  • [6] 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013)
    Bianculli, Domenico
    Lago, Patricia
    Lewis, Grace A.
    Paik, Hye-Young
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1539 - +
  • [7] Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions
    Casadei, Roberto
    Pianini, Danilo
    Aguzzi, Gianluca
    Audrito, Giorgio
    Torta, Gianluca
    Ottina, Marco
    Damiani, Ferruccio
    Viroli, Mirko
    2022 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2022, : 1054 - 1059
  • [8] 5th International Workshop on Software Engineering in Health Care (SEHC 2013)
    Kuziemsky, Craig E.
    Knight, John
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1549 - +
  • [9] 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013)
    Carver, Jeffrey C.
    Epperly, Thomas
    Hochstein, Lorin
    Maxville, Valerie
    Pfahl, Dietmar
    Sillito, Jonathan
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1547 - +
  • [10] Open Source Application Spaces: The 5th Workshop on Open Source Software Engineering
    Feller, J
    Fitzgerald, B
    Hissam, S
    Lakhani, K
    Scacchi, W
    ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 694 - 694
12