软件工程卷2:系统与语言规约

作者: Dines Bjorner著刘伯超等

出版日期: 2010-01-01

电子书 暂不销售 定价:79.0 纸书价格¥39.50,点此比价
  • 收藏

  • 加书架

  • 引用

简介

本书是世界著名的计算机科学家Dines Bjorner教授对其所从事的软件工程研究 的总结。 这几卷书主要讲述了如何使用形式方法指导软件工程的开发,特别是作者独创性 地提出了领域工程这一全新的研究领域并在第~3~卷中予以系统的论述。作者结合~ RAISE(工业软件开发的严格方法)规约语言,详细阐释了在软件的领域分析、 需求分析、软件设计和开发的各个阶段,如何采用形式方法来指导软件开发模式, 来保证软件开发的可靠性和正确性。

更多出版物信息
  • 出版: 2010-01-01
  • 作者:Dines Bjorner著刘伯超等
  • 更新: 2024-07-16
  • 书号:9787302208914
  • 中图:TP311.5
  • 学科:
    工学
    控制科学与工程
    工学
    计算机科学与技术
    工学
    软件工程