Formal Methods in Collaborative Projects

Formal Methods in Collaborative Projects
复制标题

协作项目中的形式化方法

DOI：
--
复制
发表时间：
2016
期刊：
International Conference on Evaluation of Novel Approaches to Software Engineering
影响因子：
--
通讯作者：
M. Spichkova
M. Spichkova
中科院分区：
--
文献类型：
--
作者：
A. Zamansky;G. Rodríguez;Mark Adams;M. Spichkova

文献摘要

被引文献

相似文献

在本文中，我们解决了大规模工业项目中形式方法集成的特定方面，即协作方面。我们回顾了解决此类方面的最新著作，确定一些当前的趋势并讨论了进一步研究的方向。
In this paper we address particular aspects of integration of formal methods in large-scale industrial projects, namely collaborative aspects. We review recent works addressing such aspects, identify some current trends and discuss directions for further research.