.png){kind=icon}
返回
Formal methods technology transfer will fail
.png){kind=icon}
PRE
AI
DOI：10.1016/S0164-1212(97)00166-0.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
For formal methods technology transfer to succeed, we must do two things: (1) integrate formal methods into basic university programming courses, and (2) improve the methods until they are better suited for practical application. Formal methods cannot be an add-on that is taught after programmers acquire bad habits, and they must produce documents that are easier to read than the programs that they describe. (C) 1998 Elsevier Science Inc.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。