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
相关论文
共 50 条
12345