出版社
当前位置: 首页 > 图书中心 > 科技 > 计算机 > 正文

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-5344-5中国协商民主理论与实践探析李仁彬等 著
  2. ISBN 978-7-5614-6030-6新一轮西部大开发经济社会发展若干重大问题研究罗中枢 主编
  3. ISBN 978-7-5614-7449-5有色冶金中砷污染的监测与控制蒋中国
  4. ISBN 978-7-5690-1147-0中国古代历史发展与变迁刘坤新
  5. ISBN 978-7-5614-5735-1网络、社会与消费——虚拟环境下经济活动空间相关性问题的微观研究董晓松 著
  6. ISBN 978-7-5690-0128-0适宜的才是最好的——回归本位的幼儿园课程建设周燕名师工作室
  7. ISBN 978-7-5614-6550-9世界知识产权组织(WIPO)仲裁研究黄晖 著
  8. ISBN 978-7-5614-6287-4新文学的叩问与反思孙拥军 著
  9. ISBN 978-7-5614-7367-2清代女性诗学思想研究王晓燕
  10. ISBN 978-7-5614-6228-7中国农村金融产业组织研究杜兴端 著

大川课堂

微信公众号

微博