Scholarlink

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 5th 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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 \(^{\textrm{th}}\) Track Edition

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Martin Wirsing,
  • Rocco De Nicola,
  • Stefan Jähnichen,
  • Mirco Tribastone

摘要

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 5th 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.