软件开发的形式化方法

软件开发的形式化方法 pdf epub mobi txt 电子书 下载 2025

出版者:高等教育出版社
作者:古天龙
出品人:
页数:265
译者:
出版时间:2005-1
价格:26.00元
装帧:简裝本
isbn号码:9787040160796
丛书系列:
图书标签:
  • 形式化方法 
  • 形式化 
  • Formalism 
  • Formal_Methods 
  • 软件开发 
  • 计算科学 
  • SoftEng 
  • Owned 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。

《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科声或研究生的教学用书,也可供相关领域的研究人员和工程技术人员参考。

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

我还是喜欢看代码。。

评分

上课时,参考书之一,确实有些是自己写的,比某些翻译的版本要容易懂,而且这个方面的书较少,值得一读。

评分

我还是喜欢看代码。。

评分

我还是喜欢看代码。。

评分

我还是喜欢看代码。。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有