Event-B/SLP
软件工程
2013-01-14 v1
摘要
我们展示了如何在不妨碍基于精化的开发过程的前提下，通过算法建模构造来增强 Event-B 所提供的事件表示法。
引用
@article{arxiv.1301.2368,
title = {Event-B/SLP},
author = {Alexei Iliasov},
journal= {arXiv preprint arXiv:1301.2368},
year = {2013}
}
备注
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012