| 本书系统地介绍了软件形式化开发方法，包括数学基础、形式化模型与建模、形式化规约、领域与需求分析以及软件设计等内容。该书对如何运用形式化方法进行软件开发进行了比较全面的阐述。本书作者Dines是软件工程领域的著名专家，是著名的VDM方法和RAISE方法的创建者之一，因其在形式化软件开发方法及其在工业界的应用的突出贡献和倡导作用而获选ACMFellow和IEEE Fellow。这本书是他长期研究和实践的总结和提炼，内容丰富，想必会令中国的软件工程人员开卷有益。 |
| Preface Part I OPENING Part II CONCEPTUAL FRAMEWORK Part III DESCRIPTIONS：THEORY AND PRACTICE Part IV DOMAIN ENGINEERING Part V REQUIREMENTS ENGINEERING Part VI COMPUTING SYSTEMS DESIGN Part VII CLOSING Part VIII APPENDIXES References |
内容加载中，请稍后...
商品评论（0条）