形式化方法——我作为工程师、研究员和科学家的50多年历程

《Formal Aspects of Computing》：Formal Methods - My 50+ Years as an Engineer, Researcher and Scientist

本文回顾了VDM方法起源，讲述IBM维也纳实验室PL/I编译器项目中断后，作者与团队分散至丹麦、美国、英国，后续开发CHILL/Ada编译器，并在联合国澳门机构推动形式化方法应用于铁路、财政、电话系统等工程，退休后转向领域科学与工程，揭示从工程师到科学家的转型。

　　

摘要人工智能摘要

要查看此由人工智能生成的摘要，您必须具有高级访问权限。

了解更多登录

摘要

摘要

一切始于1973至1974年的维也纳IBM实验室。我将回顾维也纳开发方法（VDM）的诞生过程。我们的任务是为PL/I语言开发编译器。然而在1974年2月，IBM总部削减了相关项目的资金支持，因此VDM的三位共同开发者分别前往了不同的国家：Peter Lucas去了美国，Cliff Jones通过布鲁塞尔回到了英国，而我则去了丹麦。在丹麦Datamatik中心（DDC），我们根据维也纳IBM实验室的理念为CHILL和Ada语言开发了编译器。这些工作最终促成了RAISE（严格工业系统工程方法）的诞生，以及RAISE规范语言（RSL）的制定。1991至1997年，我担任联合国大学国际软件技术研究所的主任，期间致力于形式化方法及其理论基础的研究，并将形式化方法应用于多个项目，包括铁路系统（中国）、财政部系统（越南）、全国电话系统（菲律宾）以及多语言文档系统（蒙古）等。我将介绍这些项目的进展，特别强调领域建模（Domain Modeling）的概念。随后，我将概述自2007年退休以来在领域科学与工程领域的研究工作。最后，我会分享自己如何从工程师/研究员成长为科学家的经历。

人工智能摘要

人工智能生成的摘要（实验性版本）

此摘要是通过自动化工具生成的，并非由文章作者撰写或审核。它旨在帮助读者理解文章内容，评估其相关性，并为来自相关研究领域的读者提供辅助。该摘要是对作者提供的摘要的补充，而作者提供的摘要仍是文章的正式版本。如需了解更多信息，请点击这里。

请点击这里对摘要的准确性、清晰度和实用性进行评论。您的反馈将有助于改进未来的摘要版本。

要查看此由人工智能生成的通俗语言摘要，您必须具有高级访问权限。