下载 >  课程资源 >  专业指导 > 软件开发的形式化方法

软件开发的形式化方法 评分:

软件开发的形式化方法 软件开发的形式化方法
2009-02-27 上传大小:11.01MB
分享
收藏 (1) 举报

评论 共14条

qq_34048218 是一本书,没有目录,应该是个教材
2019-04-17
回复
changgood 是书,但要看懂的话,离散数学必须要学好。
2018-08-19
回复
qq_37752896 好,很赞的一本书
2018-06-24
回复
panchuanggo2467 正好学习软件开发的形式化方法,老师的课件就是按照这本书来的。
2017-12-27
回复
wang_allen08 比较综述性的文章,有一点点作用。
2014-08-02
回复
doemi 入门的一本书,值得看看
2012-12-16
回复
xinjiejie 书很经典的,简单易懂~
2012-12-11
回复
yuejiewc 形式化方法经典书籍,老师推荐好好读下
2012-12-02
回复
wjjl2010 不错,学习的好书。
2012-11-08
回复
lhc_sr 这是比较经典的 特别CSP那章
2012-10-20
回复
软件形式化方法视频教程1-4讲

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
大型软件形式化开发方法及CASE工具ZIPC

大型软件形式化开发方法及CASE工具ZIPC 软件开发方法PPT

立即下载
形式化规约——Z语言

形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。

立即下载
软件开发中的形式化方法

基于研究的角度,讨论了在软件开发过程各阶段使用形式化方法的可能及困难,进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因,以及由此产生的对形式化方法的讨论。

立即下载
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

立即下载
形式化方法课件(中文)

北大形式化方法课程的课件,重点介绍软件开发过程中的形式化方法。

立即下载
实证软件工程

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

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
形式化方法

形式化方法:通过数学逻辑来表述一个软件开发,最终还可以通过验证来证明软件开发的可行性。

立即下载
软件形式化方法视频课程5-8

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
面向对象的形式化软件开发案例

本分析案例对于搞面向对象分析与形式化软件开发的人是一个较好的简单的例子希望大家捧场与评论请注意:以作者为amdcwf(昵称为:陈谈)上发的源 码, 绝对都是本人的原创本人格言:不是精品,绝对不发(什么是精品?精品就是对你的思维与问题的解决具有启发作用的东东)另外:本人很少往本站上传东东,但本站上有最近本人发的三个东东,这三个东东是本人一段时期以来心得片段或着作品,请大家笑纳,同时也是为了对源码空间的支持。请站长加高分啊!最后:请大家注意了,在不久的将来大家会得到我参与的一个项目的源代码!请注意了!

立即下载
智能交通信号灯形式化建模

描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,

立即下载
形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code)

形式化方法简介,着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。

立即下载
形式化方法与自动机 中科院研究生院课程

中科院研究生院教程 形式化方法与自动机 详尽资料

立即下载
论文研究-网络攻击过程的形式化描述方法研究.pdf

采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYNFlooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了一种更为直观的形式化手段。

立即下载
软件工程的形式化方法

形式化方法

立即下载
形式化方法--北大教学ppt--很经典!

形式化方法--北大教学ppt--很经典!共分七章讲解,内容全了。有兴趣的朋友可以看看。

立即下载
spin625工具

spin625工具,形式化分析与验证。 软件形式化方法

立即下载
R. W. Butler(From NASA). What is Formal Methods

关于“形式化方法”概念的说明,很易于理解。对刚接触形式化方法的人很有帮助。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

软件开发的形式化方法

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: