下载 >  课程资源 >  专业指导 > 形式化方法

形式化方法 评分:

形式化方法:通过数学逻辑来表述一个软件开发,最终还可以通过验证来证明软件开发的可行性。
2018-03-17 上传大小:7.99MB
想读
分享
收藏 举报
什么是形式化?
软件开发形式化方法教材

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

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

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

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

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

立即下载
软件形式化方法期末考试复习要点

软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。

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

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

立即下载
软件形式化方法视频教程1-4讲

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

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

软件开发的形式化方法 软件开发的形式化方法

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

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

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

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

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

形式化方法

立即下载
spin625工具

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

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

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

立即下载
formal methods

了解形式化方法的书,是初学者学习形式化方法的入门书

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

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

立即下载
网络协议的形式化分析与设计

网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

立即下载
Case Studies in Systematic Software Development

形式化方法的应用实例 列举了不同的实例显示形式化方法的应用, 最主要的比如VDM,等等 看完本书,对形式化方法会有一个清楚的认识

立即下载
研究汉语语序的形式化推导方法

_lubinfu_研究汉语语序的形式化推导方法 _lubinfu_研究汉语语序的形式化推导方法

立即下载
形式化方法书fsuz02

形式化方法用书 FSUZ_Lightfoot_02

立即下载
形式化方法书fsuz01

形式化方法用书 FSUZ_Lightfoot_01

立即下载

热点文章

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币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

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

兑换成功

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

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

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

举报

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