.png){kind=icon}
Return
Formal methods technology transfer will fail
.png){kind=icon}
PRE
AI
DOI：10.1016/S0164-1212(97)00166-0.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
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 Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
5.4K
Citations:
8.4K
Organization
No organization information available
.png){kind=icon}
