DEPLOYment项目的经验教训
软件工程
2016-07-05 v1
摘要
本文回顾了博世研究院在DEPLOY项目期间进行的两个重要试点项目所获得的主要经验教训。首要的一点是，使用单一的形式化方法，即使它伴随着像Event-B这样严格的精化方法论，也无法提供完整的解决方案。遗憾的是（但并非意料之外），我们无法提供覆盖从需求到代码每个阶段的万能药；事实上，任何特定的形式化方法或语言（或工具）只应在真正适合的地方和时间使用，而不必（且某种程度上不应强行）贯穿整个生命周期。
引用
@article{arxiv.1607.00475,
title = {Lessons from DEPLOYment},
author = {Manuel Mazzara and Cliff Jones and Alexei Iliasov},
journal= {arXiv preprint arXiv:1607.00475},
year = {2016}
}
备注
Rodin Workshop, February 2012 ,Fontainebleau, France