下载 >  安全技术 >  其它 > 形式化B语言

形式化B语言 评分:

形式化验证 B语言 安全系统设计 软件工程
2012-03-11 上传大小:6.24MB
分享
收藏 举报

评论 共2条

sfplds B语言是比Z语言还强大的语言
2013-10-17
回复
dayangcsdn 北京大学裘宗燕讲的《形式化方法:基于B方法的严格软件开发》,中文版的pdf格式讲义,是学习B方法比较好的文档,而且还包括英文版书籍
2012-03-15
回复
B语言与方法_实用形式化开发指南

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

立即下载
B语言教程 形式化开发

B语言形式化开发指南(书) B语言形式化开发指南(书) B语言形式化开发指南(书)

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

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

立即下载
形式化语言 z语言 缪淮扣

z语言 缪淮扣 上海大学 形式化语言 用于软件工程的各个阶段

立即下载
Z语言--一种形式化描述语言

一种形式化描述语言,用于建模!是一种基于数学的形式化描述语言!

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

本书介绍了B 抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先,介绍了B 语言的发展历史及与其他语言的关系,然后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支持的大型程序设计方法,全面地介细了B 符号语言的描述方式。

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

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

立即下载
软件形式化方法Z语言.rar

北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。

立即下载
形式化z语言辅助工具Z-EVES

形式化z语言辅助工具Z-EVES 进行形式化验证用

立即下载
B方法课件(B method)

B方法作为一种形式化语言方法,比起非形式化文档语言更有规范性。它以数学理论为基础,通过严格的逻辑推论,使得整个描述过程更为严谨,更容易转化为代码。

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

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

立即下载
B方法讲义.rar

北大裘宗燕老师的《B方法讲义》,形式化方法讲义,B语言用于编写软件规范,指导严谨的编码过程。

立即下载
移动Agent系统的Z语言形式化描述

移动Agent系统的Z语言形式化描述,形式化语言的简介,Z语言的介绍以及多ANGENT系统的描述

立即下载
形式化方法B的学习课件

法国著名大学研究生的b方法学习课件,不容易啊。老师提供的

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

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

立即下载
可视化语言文法形式化描述.pdf

可视化语言文法形式化描述.pdf

立即下载
计算语言学PPT 乔姆斯基

计算语言学PPT 乔姆斯基 自动机 形式化语言

立即下载
软件工程形式化

武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备

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

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

立即下载
形式化验证,模型检测和数理逻辑经典书籍系列(1)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Logic in Computer Science Modelling and Reasoning about Systems;A Second Course in Formal Languages and Automata Theory;Real-Time Systems Formal Specification and Automatic Verification;Computability Theory ;Computational Complexity A Modern Approach

立即下载

热点文章

img

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

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

形式化B语言

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

积分不足!

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

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

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

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

兑换成功

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

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

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

举报

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