第 21 届国际 Overture 研讨会会议录
软件工程
2023-11-20 v2
摘要
本卷收录了于 2023 年 3 月 10 日举行的第 21 届国际 Overture 研讨会上发表的论文。该活动是围绕 Vienna Development Method（VDM，维也纳开发方法）、开源项目 Overture 及相关工具与形式化语言的一系列研讨会中的最新一届。VDM 是历史最悠久的系统开发形式化方法之一。在学术界与工业界，围绕建模语言（VDM-SL、VDM++、VDM-RT、CML）与工具（VDMTools、Overture、Crescendo、Symphony、INTO-CPS 链及 ViennaTalk）已形成一个活跃的研究与从业者群体。这些共同提供了一个用于建模与分析技术工作的平台，涵盖静态与动态分析、测试生成、执行支持以及模型检测。本次研讨会提供了 VDM/Overture 新兴技术的进展，包括协同基础设施、面向信息物理系统（Cyber-Physical Systems）的协同建模与联合仿真。
引用
@article{arxiv.2311.07120,
title = {Proceedings of the 21st International Overture Workshop},
author = {Hugo Daniel Macedo and Ken Pierce},
journal= {arXiv preprint arXiv:2311.07120},
year = {2023}
}