软件开发的形式化方法/高等学校研究生系列教材
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。.
本书可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。... 前言：
软件是计算机应用系统中不可分割的一个重要组成部分。在商务数据库管理、宇宙飞船、机器人、飞机控制、通信系统、核电站控制、制造自动化等系统中，软件发挥着不可替代的作用。但在软件设计和开发中会遇到不少困难和问题。严谨的软件开发和设计方法---形式化方法，为解决或部分解决这些困难提供了可行途径。.
形式化方法是基于严密的、数学上的形式机制的系统研究方法。客观地讲，有了数学的应用，就有了形式化方法。但是，一般认为形式化方法是始于20世纪60年代末的Floyd、Hoare和Manna等在程序正确性证明方面的研究，当时由于“软件危机”，人们试图用数学方法证明程序的正确性而发展成为了各种程序验证方法，..
|