B方法与形式化软件开发技术研究 | 首都图书馆

高级检索

全部题名 ISBN 作者出版社

电子图书

数字资源平台 > 工学> 软件工程> B方法与形式化软件开发技术研究

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

作者：
崔梦天，韩伟著
出版社：
四川大学出版社

出版时间：
2012.01
ISBN：
978-7-5614-5729-0
主题：
软件开发
中图法分类号：
TP311.52
【中图法分类】
T 工业技术 > TP自动化技术、计算机技术 > TP3计算技术、计算机技术 > TP31计算机软件
【学科分类】
工学 > 软件工程

建议阅读终端：

在线试读

PDF格式

暂无推荐

简介

本书系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。

目录

展开 ∨

评论(0)

评分：

1
2
3
4
5

评价：

请输入评论信息

0/255 我要评论

最新上架