第 20 届国际 Overture 研讨会会议录
软件工程
2022-08-23 v1
摘要
本卷收录了在第 20 届国际 Overture 研讨会上发表的论文，该研讨会以线上线下混合形式于 2022 年 7 月 5 日在丹麦奥胡斯现场及线上举行。该活动是围绕维也纳开发方法（VDM）、开源项目 Overture 以及相关工具和形式化方法的一系列研讨会中的最新一届。VDM 是历史最悠久的系统开发形式化方法之一。在学术界和工业界，围绕建模语言（VDM-SL、VDM++、VDM-RT、CML）和工具（VDMTools、Overture、VDM VSCode 扩展、Crescendo、Symphony、INTO-CPS 链和 ViennaTalk）已经成长起一个活跃的研究人员和从业者社区。 together，这些提供了一个用于建模和分析技术工作的平台，包括静态和动态分析、测试生成、执行支持和模型检查。本次研讨会提供了 VDM/Overture 新兴技术的更新，包括协作基础设施、面向信息物理系统的协同建模与联合仿真。
引用
@article{arxiv.2208.10233,
title = {Proceedings of the 20th International Overture Workshop},
author = {Hugo Daniel Macedo and Ken Pierce},
journal= {arXiv preprint arXiv:2208.10233},
year = {2022}
}