下载 >  课程资源 >  专业指导 > 软件工程形式化

软件工程形式化 评分:

武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备
2012-12-20 上传大小:920KB
想读
分享
收藏 举报
高级软件工程形式化方法

高级软件工程,形式化方法

立即下载
形式化B语言

形式化验证 B语言 安全系统设计 软件工程

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

形式化方法

立即下载
软件形式化 课件与参考习题

苏州大学 计算机科学与技术学院 软件工程 软件形式化 课件与参考习题 全

立即下载
形式化方法在软件工程中的应用研究

关于Z语言的文章.探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各 阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了 形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。

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

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

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

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

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

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

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

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

立即下载
刘少英软件工程讲座PPT

刘少英软件工程讲座PPT,内容主要为形式化方法在软件工程中的应用,以及自动化编程等内容,为软件工程中的前沿理论。

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

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

立即下载
软件形式化 期中试卷

苏州大学 计算机科学与技术学院 软件工程 软件形式化 期中试卷 很具有参考性 希望对大家有帮助

立即下载
软件工程语言——Z

Z语言将事物的状态和行为用数学符号形式化表达的语言,常用在软件工程之中。

立即下载
Documentation of Requirements for Computer Systems

软件工程形式化方法的相关参考文章,大家下载吧。这是序列一

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

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

立即下载
On a Formal Semantics of Tabular Expressions

软件工程的形式化方法,这是序列二。David Parnas教授的论文关于Tabular 表达式的

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

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

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

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

立即下载
区块链—形式化表示与体系结构演进--斯雪明

2018中国区块链技术大会上,斯雪明做的演讲,区块链—形式化表示与体系结构演进

立即下载
形式化验证,模型检测和数理逻辑经典书籍系列(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

软件工程形式化

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

积分不足!

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

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

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

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

兑换成功

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

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

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

举报

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