第 22 届国际 Overture 研讨会论文集
软件工程
2024-10-02 v1
摘要
本卷包含在 2024 年 9 月 10 日举办的第 22 届国际 Overture 研讨会上 presented 的论文。该活动是围绕维也纳开发发方法（VDM）、开源项目 Overture 以及相关工具和 formalism 的一系列研讨会的最新一次。VDM 是最早确立的系统开发形式化方法之一。一个活跃的研究者和实践者社区在学术界和产业界围绕建模语言（VDM-SL、VDM++、VDM-RT、CML）和工具（VDMTools、Overture、Crescendo、Symphony、INTO-CPS 链、ViennaTalk）逐渐壮大。这些工具共同提供了一个平台，用于开展建模和分析技术工作，包括静态和动态分析、测试生成、执行支持和模型检查。本次研讨会提供了关于 VDM/Overture 新兴技术的最新进展，包括协作基础设施、协作建模和针对混合物态系统的协同仿真。
引用
@article{arxiv.2410.00071,
title = {Proceedings of the 22nd International Overture Workshop},
author = {Hugo Daniel Macedo and Ken Pierce and Leo Freitas},
journal= {arXiv preprint arXiv:2410.00071},
year = {2024}
}