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

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0182-2《宋代文化研究》(第二十三辑)四川大学古籍整理研究所
  2. ISBN 978-7-5614-4443-6文化遗产备忘录徐新建 主编
  3. ISBN 978-7-5614-7409-9组织犯研究——以刑事政策为背景的展开胡选洪
  4. ISBN 978-7-5614-7839-4天府奇葩—非物质文化遗产与成都旅游发展袁力、董庆佳 编著
  5. ISBN 978-7-5614-7743-4自动化控制原理与系统张慧坤 崔玉林
  6. ISBN 978-7-5614-5059-8四川省城乡一体化建设的法制调研与立法建议倪怀敏 著
  7. ISBN 978-7-5614-7818-9走向“人本化”的幼儿园教育制度规范何霞萍 编著
  8. ISBN 978-7-5614-7791-5基于网络外部性与兼容性的企业IT能力匹配研究杨黎波 著
  9. ISBN 978-7-5690-0937-8现代医院管理理论及其创新理念探析张利江
  10. ISBN 978-7-5614-4823-6三峡库区产业发展研究熊建立 周科

大川课堂

微信公众号

微博