| 基于Event-B的软件工程形式化方法综述 |
| |
| 引用本文： | 彭寒,张晓丽,刘洲洲,曹国震,景月娟,王瑾,李添锐.基于Event-B的软件工程形式化方法综述[J].计算机系统应用,2021,30(9):12-23. |
| |
| 作者姓名： | 彭寒 张晓丽 刘洲洲 曹国震 景月娟 王瑾 李添锐 |
| |
| 作者单位： | 西安航空学院 计算机学院, 西安 710077;西安石油大学 计算机学院, 西安 710065 |
| |
| 基金项目： | 陕西省重点研发计划(2018GY-028, 2020GY-084); 陕西省自然科学基金(2020JM-633); 陕西省教育厅科研计划(20JG014) |
| |
| 摘 要： | 在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴.
|
| 关 键 词： | 软件工程 形式化方法 面向对象 可重用形式化模型 |
| 收稿时间： | 2020/12/13 0:00:00 |
| 修稿时间： | 2021/1/11 0:00:00 |
Overview on Formal Methods of Software Engineering Based on Event-B |
| |
| PENG Han,ZHANG Xiao-Li,LIU Zhou-Zhou,CAO Guo-Zhen,JING Yue-Juan,WANG Jin,LI Tian-Rui.Overview on Formal Methods of Software Engineering Based on Event-B[J].Computer Systems& Applications,2021,30(9):12-23. |
| |
| Authors: | PENG Han ZHANG Xiao-Li LIU Zhou-Zhou CAO Guo-Zhen JING Yue-Juan WANG Jin LI Tian-Rui |
| |
| Abstract: | |
| |
| Keywords: | software engineering fomal method object-oriented reusable formal model |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
