出版社
当前位置: 首页 > 图书中心 > 学术著作 > 正文

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

书号:ISBN 978-7-5614-5729-0

内容简介

书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法.

相关图书

  1. ISBN 978-7-5690-0614-8视角与阐释——林语堂翻译研究夏婉璐
  2. ISBN 7-5614-2796-4/I.293中国现代小说导论袁新宇 编著
  3. ISBN 978-7-5614-7690-1民族村寨旅游中社会文化影响的居民感知研究--四川甲居藏寨的个案调查刘韫
  4. ISBN 978-7-5614-8180-6加强农业基础地位和确保国家粮食安全战略研究王国敏 等 著
  5. ISBN 978-7-5614-8797-6中国区域法制实施研究曹阳昭
  6. ISBN 978-7-5614-8574-3中美区域对比研究陈杰、王欣
  7. ISBN 978-7-5690-0555-4伊塔洛•卡尔维诺的“城市之眼”谭梦聪
  8. ISBN 978-7-5614-3987-6/D.298和谐社会建设中的刑事政策研究刘作明
  9. ISBN 978-7-5614-6023-8李艺梅舞台设计作品选李艺梅
  10. ISBN 978-7-5614-4214-2分配论研究李福安

大川课堂

微信公众号

微博