paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Design-Space Exploration for Decision-Support Software

决策支持软件的设计空间探索
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 1/10 · 该论文关注决策支持软件的设计空间探索与领域建模,属于软件工程/建模方向,未涉及用户核心关注的静态分析、LLM/Agent 程序分析、浮点程序分析或贝叶斯程序分析。引用 2 inbox
Ate Penders, Ana Lucia Varbanescu, Gregor Pavlin, Henk Sips
crossref: 2026-09-12

AI 速览

一句话:针对决策支持软件设计缺乏系统方法的问题,探讨系统化的设计空间探索。

决策支持应用(如区域存在监测或入侵检测)通过监测收集异构数据并建立态势感知,进而需要决策和/或行动。这类软件由角色各异的互连组件构成,其通信与同步对功能与性能至关重要。然而,其设计常由短期功能需求驱动,并仅依赖设计者经验,这种非系统化方法容易出错且难以修复。论文围绕决策支持软件的设计空间探索展开,旨在系统化地处理此类复杂软件的设计决策。摘要未报告具体方法细节与评估结果。

问题
决策支持软件由异构互连组件构成,通信与同步关键,但设计常由短期需求和经验驱动,缺乏系统方法,易出错且难修复。
方法
论文讨论/提出面向决策支持软件的设计空间探索,以系统化处理组件角色、通信与同步等设计决策;摘要未展开具体方法。
评估
摘要未说明具体评估方式或实验结果。
原文摘要(Abstract)

Presence monitoring or intrusion detection in a location/area are examples of decision-support applications. Decision-support applications are applications where monitoring is used to collect (heterogeneous) data and create situational awareness, which further requires decisions and/or actions. As such, decision-support software consists of different interconnected components with very diverse roles, whose communication and synchronization are essential for the application functionality and performance. Despite this complexity, software design for decision-support is often driven by short-term functional requirements and only supported by designers’ previous experience. In the current non-systematic approach, mistakes can be easily made, and can be very difficult to repair.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot7226,
  title = {Design-Space Exploration for Decision-Support Software},
  author = {Ate Penders and Ana Lucia Varbanescu and Gregor Pavlin and Henk Sips},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559502}
}