下载 >  课程资源 >  专业指导 > 软件形式化方法视频课程5-8

软件形式化方法视频课程5-8 评分:

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

清华大学软件学院研究生课程回忆 贺飞老师的课程,理论结合实际,研究了NuSMV的工具和语言的运用。 不错的课程,对软件形式化的讲解还是很好地。 资源包括Logic in Computer Science Modelling and Reasoning about Systems教材。英文原版的

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

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

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

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

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

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

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

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

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

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

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

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

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

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

立即下载
欧洲形式化方法课程安排

形式化方法 课程学习 可以借鉴一下,哪些比较基础,哪些比较成熟或者先进

立即下载
spin625工具

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

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

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

立即下载
coq函数式编程 list

Coq 函数式编程 形式化方法课程讲义 list 链表操作

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

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

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

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

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

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

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

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

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

立即下载
形式化方法

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

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

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

形式化方法

立即下载

热点文章

img

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

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

软件形式化方法视频课程5-8

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

积分不足!

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

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

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

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

兑换成功

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

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

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

举报

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