第二届图作为模型研讨会论文集
数据结构与算法
2016-12-06 v1 计算机科学中的逻辑
软件工程
摘要
图在计算机科学的所有领域中被用作模型：例如状态空间图、控制流图、语法图、各种 UML 类型模型、网络布局、社交网络、依赖图等。一旦构建了此类图模型，就可以对其进行分析和转换，以验证其在特定领域内的正确性，发现新属性，或生成新的等价和/或优化版本。“图作为模型”研讨会的主要重点是促进不同背景研究人员之间的交流与合作。该研讨会旨在作为推动跨学科与超学科研究的平台，并为新思想提供发展空间。因此，除了经典的研究报告外，研讨会还高度侧重于众多互动环节。第二届“图作为模型”研讨会于 2016 年 6 月 2 日至 3 日在荷兰埃因霍温举行，与第 19 届欧洲软件理论与实践联合会议（ETAPS 2016）同期举办。
引用
@article{arxiv.1612.01053,
title = {Proceedings Second Graphs as Models Workshop},
author = {Alexander Heußner and Aleks Kissinger and Anton Wijs},
journal= {arXiv preprint arXiv:1612.01053},
year = {2016}
}