第16届国际精化研讨会论文集
软件工程
2013-05-27 v1 计算机科学中的逻辑
摘要
第16届BCS-FACS精化研讨会于2013年6月11日在芬兰图尔库与iFM 2013联合举办。本卷包含经过同行评审后选出的6篇论文。这些论文涵盖了精化理论与应用的广泛主题。精化是软件工程形式化方法的基石之一：通过一系列基于数学的步骤，从抽象规约开发出更详细的设计或实现，同时保持相对于原始规约的正确性。
引用
@article{arxiv.1305.5634,
title = {Proceedings 16th International Refinement Workshop},
author = {John Derrick and Eerke Boiten and Steve Reeves},
journal= {arXiv preprint arXiv:1305.5634},
year = {2013}
}
备注
This volume is dedicated to the memory of Kaisa Sere