第一届严谨系统设计方法与工具国际研讨会论文集
软件工程
2018-06-26 v1
摘要
本卷收录了第一届严谨系统设计方法与工具国际研讨会（MeTRiD 2018）的会议论文，该研讨会于 2018 年 4 月 15 日在希腊塞萨洛尼基举行，作为 ETAPS 2018（欧洲软件理论与实践联合会议）的一部分。“严谨系统设计”（RSD）指代一种设计方法，其基于形式化、可问责且迭代的过程，从应用软件、执行平台及其外部环境的模型出发推导可信且优化的实现。理想情况下，系统实现是通过对一组适当的高级模型施加一系列保持语义的变换而得到的。MeTRiD 的宗旨是在工业应用中推广形式化方法（总体而言）尤其是 RSD 方法的使用，并反过来引起形式化方法研究者对这类工业应用的关注，以开发真实案例研究并指导工具演进。为达成这一宏愿，我们征集了三类投稿：- 常规论文，展示原创研究；- 案例研究论文，报告在具有相当规模的真实示例上对现有建模范式、分析、变换及代码生成形式化方法与工具的评估；- 工具论文，描述支持 RSD 流程的新工具原型及现有工具的增强。我们共收到 13 篇投稿（7 篇常规、4 篇工具、2 篇案例研究），其中 8 篇被接受在研讨会上展示：- 5 篇常规论文；- 2 篇工具论文；- 1 篇案例研究论文。本卷中，这些论文由 Joseph Sifakis 的一篇特邀论文作为补充。
引用
@article{arxiv.1806.09330,
title = {Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design},
author = {Simon Bliudze and Saddek Bensalem},
journal= {arXiv preprint arXiv:1806.09330},
year = {2018}
}