基于Event-B和Rodin开展形式化软件工程教学

• 作者: 李梦君
• 来源期刊: 计算机工程与科学
• 学科: 教育
• 关键词: 形式化软件工程 Event-B方法 Rodin
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 教学研究
• 页码范围: 143-145
• 页数: 3页
• 分类号: G642
• 字数: 2264字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2016.Suppl(1).036

摘要

形式化软件工程是软件工程的重要组成部分.Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集.基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李梦君	国防科学技术大学计算机学院	16	294	7.0	16.0