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 条

[11] 5th Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience
Forbrig, Peter
Bernhaupt, Regina
Winckler, Marco
Wesson, Janet
HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT IV, 2011, 6949 : 718 - 719
[12] Breast Density Evaluation According to BI-RADS 5th Edition on Digital Breast Tomosynthesis: AI Automated Assessment Versus Human Visual Assessment
Tari, Daniele Ugo
Santonastaso, Rosalinda
De Lucia, Davide Raffaele
Santarsiere, Marika
Pinto, Fabio
JOURNAL OF PERSONALIZED MEDICINE, 2023, 13 (04):

← 1 2 →