计算机科学>软件工程
标题: 可配置系统分析趋势第一次研讨会会议记录
摘要: 由于配置选项数量呈指数级增长,对可配置系统(即行为取决于参数或支持各种功能的系统)的分析具有挑战性。 本卷包含TiCSA 2023的后记,这是关于可配置系统分析趋势的第一次研讨会,其中介绍并讨论了可配置系统的当前挑战和解决方案。
摘要: 由于配置选项数量呈指数级增长,对可配置系统(即行为取决于参数或支持各种功能的系统)的分析具有挑战性。 本卷包含TiCSA 2023的后记,这是关于可配置系统分析趋势的第一次研讨会,其中介绍并讨论了可配置系统的当前挑战和解决方案。
|
|
|
|
|