论文标题
资产阶级绅士，工程和形式方法
The Bourgeois Gentleman, Engineering and Formal Methods
论文作者
论文摘要
涉及正式方法的工业应用仍然是一般规则的例外。缺乏理解，没有适当教育的员工，难以整合现有的发展周期，市场上没有明确的要求等。本文报告了一些关于改变游戏规则的经验，该游戏将无缝将正式方法无缝整合到安全关键系统工程中。
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. This article reports some experience about a game changer that is going to seamlessly integrate formal methods into safety critical systems engineering.
