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

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

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

内容简介

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

相关图书

  1. ISBN 978-7-5614-7555-3法学本科人才培养模式创新与课程教学改革唐稷尧 陈驰
  2. ISBN 978-7-5614-7856-1电子白板及其驱动软件原理詹豪强 李勇 编著
  3. ISBN 978-7-5614-5869-3创新型国家的涵义、案例及对中国的启示顾继国 袁泽民 编著
  4. ISBN 7-5614-1821-3/F.284货币供给调控论唐磊
  5. ISBN 978-7-5614-8124-0穀梁春秋经传古义疏郑伟 校点
  6. ISBN 7-5614-2744-1/B.115理性之光的诱惑初东红
  7. ISBN 978-7-5614-6691-9解放的形式--赵毅衡形式理论思想争鸣集饶广祥 主编
  8. ISBN 978-7-5690-0850-0资本扩张与公司治理吴良
  9. ISBN 978-7-5690-1234-7数字图书馆的信息化建设与管理方法探究陆峻波 于俊夫 李元川
  10. ISBN 978-7-5614-7839-4天府奇葩—非物质文化遗产与成都旅游发展袁力、董庆佳 编著

大川课堂

微信公众号

微博