FM 2009: Formal Methods
FM 2009: Formal Methods
复制标题
FM 2009：形式化方法
DOI：
10.1007/978-3-642-05089-3_52
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Bicarregui J
中科院分区：
文献类型：
--
作者：
Bicarregui J
我们研究的正式方法的工业应用中收集的数据，在过去25年中发生的62个项目的审查。审查表明，正式的方法正在广泛的应用领域，越来越强大的工具支持。在以下方面仍然存在重大挑战：提供可纳入既定发展进程的可用工具;教育和培训;将正式方法从第一次使用转为第二次使用;收集证据以支持在知情的情况下选择方法和工具。
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.