论文标题
英国的形式方法的开发和部署
The development and deployment of formal methods in the UK
论文作者
论文摘要
英国的研究人员为基于计算机系统规范和开发的正式方法的技术思想做出了重大贡献。也许是这样，在英国发生了一些将理论思想部署到实际环境中的重要尝试。本文的作者多年来一直参与正式方法，并且都追踪了整个故事的很大一部分。本文都列出了关键想法，并指示了在实践中使用这些想法的尝试。并非所有这些部署的故事都取得了全面的成功，并试图取消影响长期影响可能性的课程。
UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact.
