万本电子书0元读

万本电子书0元读

顶部广告

B方法与形式化软件开发技术研究电子书

售       价:¥

19人正在读 | 0人评论 6.2

作       者:崔梦天,韩伟

出  版  社:四川大学出版社

出版时间:2012-03-23

字       数:10.7万

所属分类: 科技 > 计算机/网络 > 软件系统

温馨提示:数字商品不支持退换货,不提供源文件,不支持导出打印

为你推荐

  • 读书简介
  • 目录
  • 累计评论(0条)
  • 读书简介
  • 目录
  • 累计评论(0条)
随着信息技术应用范围的扩大和层次的深入,软件作为信息技术的核心和灵魂,在信息社会中发挥着至关重要的作用。软件首先要可信,目前软件行业不断面临着软件失效的挑战。因此,人们对软件的正确性、可靠性、安全性和保密性等可信性质给予了十分的关注,如何在软件的开发和运行中保证软件具有高可信性,成为软件理论和技术的重要研究方向。
目录展开

前言

第1章 绪论

1.1 研究背景

1.2 国内外研究现状

1.3 形式化方法的优点和存在的问题

1.4 形式化方法的发展方向

1.5 主要研究内容

1.6 章节安排

第2章 相关技术理论

2.1 形式化方法理论

2.2 B技术简介

2.3 UML

2.4 依赖性分析理论

2.5 程序切片技术

2.6 本章小结

第3章 形式化B方法的开发

3.1 形式化B方法的开发过程

3.2 基于B方法的软件需求形式化过程

3.3 本章小结

第4章 基于B方法的UML形式化转换方法

4.1 UML和B方法概述

4.2 UML类图到B方法形式规约的转换

4.3 UML状态机到BAMN的转换

4.4 UML活动图到B形式化规约的转换

4.5 UML顺序图到B形式化规约的转换

4.6 用例图到B方法的形式化转换

4.7 OCL数据类型到B形式化规约的转换

4.8 本章小结

第5章 基于B技术的软件体系结构方法

5.1 软件体系结构定义

5.2 软件体系结构描述语言

5.3 软件体系结构的形式化描述

5.4 面向对象软件体系结构的形式化模型

5.5 本章小结

第6章 基于B方法的软件模型检测技术

6.1 模型检测技术

6.2 软件模型检测技术

6.3 基于程序切片的软件测试技术

6.4 本章小结

第7章 面向对象程序切片技术

7.1 传统面向对象程序切片存在的问题

7.2 解决方案

7.3 扩展粗粒度切片的含义

7.4 波动效应分析

7.5 基于波动效应分析的粗粒度切片技术

7.6 复杂度分析

7.7 本章小结

第8章 基于依赖性分析的面向对象层次切片方法

8.1 对象程序的层次模型

8.2 层次切片模型

8.3 逐步求精算法的基本思想

8.4 SSA计算面向对象程序的切片算法的步骤

8.5 层次切片复杂度

8.6 本章小结

第9章 基于B方法的软件体系结构切片技术

9.1 现有切片的不足

9.2 软件体系结构切片前提条件

9.3 软件体系结构切片目的

9.4 CGEAEDG软件体系结构粗粒度切片

9.5 软件体系结构切片分类

9.6 CGEAEDG软件体系结构粗粒度切片算法

9.7 CGEAEDG动态软件体系结构粗粒度切片算法

9.8 软件体系结构切片应用

9.9 本章小结

第10章 总结与展望

参考文献

累计评论(0条) 0个书友正在讨论这本书 发表评论

发表评论

发表评论,分享你的想法吧!

买过这本书的人还买过

读了这本书的人还在读

回顶部