期刊文献+

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

Formal software engineering teaching based on Event-B method and Rodin
在线阅读 下载PDF
分享 导出
摘要 形式化软件工程是软件工程的重要组成部分。Event—B方法是一种软件形式化开发方法,Rodin是支持Event—B方法的开放工具集。基于Event—B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。 Formal software engineering is one important part of software engineering. Event-B method is a software formal development method, and Rodin is an open toolset of Event-B method. As an im- portant supplement of software engineering teaching, teaching formal software engineering based on E-vent-B method and Rodin helps students understand the refinement concept in software engineering, and master the technique of developing trusty-worth software.
作者 李梦君 LI Meng-jun (College of Computer, National University of Defense Technology, Changsha 410073, China)
出处 《计算机工程与科学》 CSCD 北大核心 2016年第A01期143-145,共3页 Computer Engineering & Science
关键词 形式化软件工程 Event—B方法 Rodin formal software engineering Event-B method Rodin
作者简介 李梦君(1975-),男,博士,副教授,研究方向为形式化方法与技术,信息安全技术。E-mail:mengjun.li@163.com
  • 相关文献
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈