简介
本书是世界著名的计算机科学家Dines Bjorner教授对其所从事的软件工程研究 的总结。 这几卷书主要讲述了如何使用形式方法指导软件工程的开发，特别是作者独创性 地提出了领域工程这一全新的研究领域并在第~3~卷中予以系统的论述。作者结合~ RAISE（工业软件开发的严格方法）规约语言，详细阐释了在软件的领域分析、 需求分析、软件设计和开发的各个阶段，如何采用形式方法来指导软件开发模式， 来保证软件开发的可靠性和正确性。
更多出版物信息
- 版权： 清华大学出版社
- 出版： 2010-01-01
- 更新： 2023-03-22
- 书号：9787302208907
- 中图：TP311.5
- 学科：工学控制科学与工程工学计算机科学与技术工学软件工程
