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