Secret Ninja Formal Methods
Secret Ninja Formal Methods
复制标题
秘密忍者正式方法
DOI：
10.1007/978-3-540-68237-0_16
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
D. M. Zimmerman
中科院分区：
文献类型：
--
作者：
J. Kiniry;D. M. Zimmerman
形式化方法的使用能够显著提高软件质量。然而，许多教师和学生认为形式化方法对于本科课程来说太难、不实用且晦涩难懂。本文介绍了一种在多所大学成功应用的方法，该方法将“忍者式的隐秘”与形式化方法工具和技术的最新进展相结合，将应用形式化方法融入软件工程课程。
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses.