An Invitation to Formal Methods
An Invitation to Formal Methods
复制标题
正式方法的邀请
DOI：
10.1109/mc.1996.488298
复制
发表时间：
1996
期刊：
影响因子：
2.2
通讯作者：
P. Zave
中科院分区：
文献类型：
--
作者：
Jonathan P. Bowen;R. Butler;D. Dill;R. Glass;D. Gries;A. Hall;M. Hinchey;C. Holloway;D. Jackson;Cliff B. Jones;M. Lutz;D. Parnas;J. Rushby;Jeannette M. Wing;P. Zave
软件系统设计中最具挑战性的任务之一是确保可靠性，特别是当这些系统越来越多地用于敏感且通常对生命至关重要的环境中时，例如医疗系统，空中交通管制和空间应用。许多人声称，形式化方法不仅提供可靠性保证，而且有可能降低成本。虽然文献中包含了许多将形式化方法应用于大型、关键甚至商业交易系统的优秀例子，但很大一部分从业者认为形式化方法与他们的日常工作无关。为什么？为什么？这个圆桌会议汇集了该领域的一些杰出专家，请他们解决这个问题“是什么阻碍了工业中正式方法的使用？"
One of the most challenging tasks in software system design is to assure reliability, especially as these systems are increasingly used in sensitive and often life-critical environments such as medical systems, air traffic control, and space applications. Many claim that formal methods not only provide assurance of reliability but also have the potential to reduce costs. Although the literature contains many excellent examples of applications of formal methods for large, critical, or even business transaction systems, a large percentage of practitioners see formal methods as irrelevant to their daily work. Why? This roundtable brings together some preeminent experts in the field, asking them to address the question "What is hindering the use of formal methods in industry?"