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

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

作者:崔梦天 韩伟 著

责任编辑:曾鑫

出版时间:2012-03-23

定价: 28元

浏览:

丛书名:

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

内容简介

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

相关图书

  1. ISBN 978-7-5690-0956-9人力资源管理理论与实践问题探究邱华祥
  2. ISBN 978-7-5690-0444-1身份、创伤、符号:跨文化传播视域下的谭恩美研究夏婉璐、汤平、吕琪
  3. ISBN 978-7-5614-5528-9中国先进文化建设论纲徐仲伟 主编
  4. ISBN 978-7-5614-6119-8新世纪城市生活的变迁吴铀生 著
  5. ISBN 978-7-5614-6201-0传媒与民族地区发展——甘孜藏区新闻事业研究东风 彭剑
  6. ISBN 978-7-5614-7598-0成都市推进新型城镇化的文化支撑体系建设研究吴耀宏、罗明
  7. ISBN 7-5614-2365-9/F.383中国七大经济区产业结构研究邓玲,张红伟主编
  8. ISBN 978-7-5690-0394-9政府法律顾问工作保障机制研究政府法律顾问工作保障机制研究课题组
  9. ISBN 978-7-5614-8706-8走“世界历史”之路--中国和平发展道路是世界历史之路的中国形式邓达
  10. ISBN 978-7-5614-6007-8中药安全性预警研究高天 何燕 主编

大川课堂

微信公众号

微博