第 19 届国际 Overture 研讨会论文集
软件工程
2021-10-19 v1
摘要
本卷收录了在第 19 届国际 Overture 研讨会上发表的论文,该研讨会以混合形式(线上及在丹麦奥胡斯线下)于 2021 年 10 月 22 日举行。本次活动是围绕维也纳开发方法 (VDM)、开源项目 Overture 及相关工具和形式化方法的系列研讨会中的最新一届。VDM 是系统开发领域历史最悠久的成熟形式化方法之一。学术界和工业界活跃的研究者与从业者群体已围绕建模语言 (VDM-SL, VDM++, VDM-RT, CML) 和工具 (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO-CPS chain, 以及 ViennaTalk) 发展壮大。这些共同提供了一个用于建模和分析技术工作的平台,包括静态和动态分析、测试生成、执行支持以及模型检验。本次研讨会提供了 VDM/Overture 新兴技术的最新进展,包括信息物理系统的协作基础设施、协作建模与协同仿真。
引用
@article{arxiv.2110.09371,
title = {Proceedings of the 19th International Overture Workshop},
author = {Hugo Daniel Macedo and Casper Thule and Ken Pierce},
journal= {arXiv preprint arXiv:2110.09371},
year = {2021}
}