形式化,

本专辑为您列举一些形式化,方面的下载的内容,形式化方法、形式化验证、形式化描述等资源。把最新最全的形式化,推荐给您,让您轻松找到相关应用信息,并提供形式化,下载等功能。本站致力于为用户提供更好的下载体验，如未能找到形式化,相关内容，可进行网站注册，如有最新形式化,相关资源信息会推送给您。

阅读全文

形式化,

: 中国科学技术大学形式化方法实验和期末复习资料中国科学技术大学形式化方法实验和期末复习资料
评级：0 浏览量：473 收藏量：2 资源大小：43.23MB 上传时间：2022-07-18

: 形式化方法 形式化方法：通过数学逻辑来表述一个软件开发，最终还可以通过验证来证明软件开发的可行性。
评级：5 浏览量：445 收藏量：0 资源大小：7.99MB 上传时间：2018-03-17

: 形式化方法教材 形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2
评级：3 浏览量：590 收藏量：1 资源大小：15.18MB 上传时间：2017-11-13

: 软件形式化方法视频教程1-4讲软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用...
评级：0 浏览量：253 收藏量：1 资源大小：178.88MB 上传时间：2019-03-24

: UCAS-安全协议与形式化方法-思维导图.xmind UCAS-安全协议与形式化方法-思维导图.xmind
评级：0 浏览量：92 收藏量：0 资源大小：20KB 上传时间：2021-11-28

: 软件工程形式化方法与语言软件工程形式化方法与语言.李莹.吴江琴，浙江大学出版社
评级：0 浏览量：333 收藏量：0 资源大小：8.54MB 上传时间：2016-02-29

: 循环结构的形式化推导介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明，并...
评级：0 浏览量：48 收藏量：0 资源大小：241KB 上传时间：2020-10-17

: 软件工程的形式化方法 形式化方法
评级：0 浏览量：276 收藏量：0 资源大小：1.32MB 上传时间：2014-07-28

: 软件形式化方法视频课程9-12 软件形式化方法9-12，购买于某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号...
评级：0 浏览量：110 收藏量：1 资源大小：173.07MB 上传时间：2019-03-24

: 形式化方法裘宗燕北京大学 形式化方法裘宗燕北京大学
评级：0 浏览量：71 收藏量：0 资源大小：1.93MB 上传时间：2023-02-08

: 形式化变分理论 形式化变分理论，赵建中，，本文以数学逻辑讨论了弹性力学中的变分理论，提出变分理论一致性原则。文章讨论了钱伟长教授提出的变分原理中的变量独立问题。文
评级：0 浏览量：98 收藏量：0 资源大小：217KB 上传时间：2020-03-12

: Modbus协议一致性测试的形式化方法首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中...
评级：0 浏览量：103 收藏量：1 资源大小：121KB 上传时间：2020-07-05

: 软件工程的形式化方法考查试题软件工程的形式化方法考查试题，软件形式规格说明语言z，期末考试试题
评级：0 浏览量：93 收藏量：0 资源大小：20KB 上传时间：2022-10-27

: 安全关键软件形式化建模一种铁路信号系统安全关键软件的形式化建模和分析方法
评级：0 浏览量：90 收藏量：0 资源大小：650KB 上传时间：2018-11-21

: 基于场景分析的系统形式化模型生成方法采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统...
评级：0 浏览量：120 收藏量：0 资源大小：561KB 上传时间：2021-02-20

: 形式化方法论文集合有关形式化方法著名论文的集合，由日本九州大学的教授整理的
评级：4 浏览量：329 收藏量：0 资源大小：37.86MB 上传时间：2018-03-17

: 物联网中安全通信协议的形式化分析针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对...
评级：0 浏览量：99 收藏量：0 资源大小：670KB 上传时间：2021-03-02

: 基于形式化方法的有限域乘法器的建模与验证针对有限域乘法器设计正确性的问题进行研究，阐述了有限域乘法器在高阶逻辑定理证明器HOL4中进行形式化建模和验证的过程。通过分析电路的结构特性和时序特性，提出了结合层次化和基于周期的形式化建模方法，构建4位...
评级：0 浏览量：77 收藏量：0 资源大小：416KB 上传时间：2020-10-16

: 软件形式化方法Z语言.rar 北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
评级：3 浏览量：736 收藏量：4 资源大小：3.59MB 上传时间：2015-12-05

: 数据库形式化安全策略模型建模及分析方法目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题，难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法，该方法...
评级：0 浏览量：120 收藏量：0 资源大小：449KB 上传时间：2021-01-14

: 蜂窝网络的形式化表征-研究论文在讨论现实世界中的社交网络时，我们目前使用的术语和形式化可以被有效利用，但在构建用于虚拟实验的蜂窝社交网络时，作为指导原则可能是必不可少的。被称为“蜂窝”的网络形式越来越多地出现在经验性社交网络研究...
评级：0 浏览量：46 收藏量：0 资源大小：215KB 上传时间：2021-05-19

: 天津大学逻辑与形式化方法复习资料.rar 天津大学逻辑与形式化方法复习资料，其中包括： 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测
评级：0 浏览量：504 收藏量：4 资源大小：7.29MB 上传时间：2020-11-17

: 软件形式化开发方法的选择策略研究随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件...
评级：0 浏览量：95 收藏量：0 资源大小：667KB 上传时间：2021-01-29

: 软件工程形式化 武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备
评级：0 浏览量：112 收藏量：0 资源大小：920KB 上传时间：2012-12-20

: 几何知识对象的形式化和规范本文介绍了我们在几何知识对象的识别，形式化，结构化和规范化方面的工作，目的是进行语义表示和知识管理。我们根据几何知识在几何文献中的积累和表示方式对几何知识进行分类，通过调整一阶逻辑的语言来对几何知识...
评级：0 浏览量：51 收藏量：0 资源大小：514KB 上传时间：2021-02-24

: 形式化规约——Z语言 形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
评级：0 浏览量：746 收藏量：1 资源大小：885KB 上传时间：2017-12-27

: 工业关键系统的形式化方法：应用综述去注释.pdf 工业关键系统的形式化方法：应用综述去注释.pdf
评级：0 浏览量：88 收藏量：0 资源大小：21.55MB 上传时间：2021-03-04

: 智能家居平台构件适应与协同模型及形式化分析以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质...
评级：0 浏览量：80 收藏量：0 资源大小：239KB 上传时间：2020-06-20

: 软件形式化方法PPT课件.ppt 软件形式化方法PPT课件.ppt
评级：0 浏览量：32 收藏量：0 资源大小：832KB 上传时间：2022-11-15

: 软件形式化方法视频课程5-8 软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用...
评级：0 浏览量：218 收藏量：1 资源大小：178.85MB 上传时间：2019-03-24

: 高级软件工程-形式化开发方法之Z方法高级软件工程--形式化开发方法之Z方法+形式化方法与软件开发+高级软件工程(第2章：软件过程)+高级软件工程(第二章)软件开发过程与开发方法 (2017课件)+第二章软件开发方法概述+第1章软件开发方法(二)软件工程+形式...
评级：0 浏览量：43 收藏量：0 资源大小：28.69MB 上传时间：2022-12-01

: 树突细胞算法的形式化描述树突细胞算法的形式化描述
评级：0 浏览量：57 收藏量：0 资源大小：1.16MB 上传时间：2021-03-18

: [软件工程形式化方法与语言].李莹.吴江琴是一本描述集合论里面各种符号的教程，描述的十分详细，很好
评级：5 浏览量：252 收藏量：1 资源大小：8.54MB 上传时间：2012-11-13

: 信息物理系统安全问题中的 形式化分析与控制方法信息物理系统安全问题中的 形式化分析与控制方法
评级：0 浏览量：213 收藏量：1 资源大小：2.74MB 上传时间：2020-05-12

: 网络协议的形式化分析与设计网络协议的形式化分析与设计古天龙 2003 计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
评级：4 浏览量：214 收藏量：2 资源大小：59.15MB 上传时间：2015-07-22

: BLP改进模型的形式化描述及自动化验证.pdf BLP改进模型的形式化描述及自动化验证.pdf
评级：0 浏览量：51 收藏量：0 资源大小：402KB 上传时间：2021-09-14

: 形式化方法书fsuz01 形式化方法用书 FSUZ_Lightfoot_01
评级：0 浏览量：186 收藏量：0 资源大小：1.01MB 上传时间：2012-04-27

: 图算法的形式化发展研究图算法的形式化发展研究
评级：0 浏览量：32 收藏量：0 资源大小：649KB 上传时间：2021-03-07

: 机器人形式化验证方法综述.pdf #资源达人分享计划#
评级：0 浏览量：95 收藏量：0 资源大小：2.57MB 上传时间：2021-08-14

: 基于CSP的形式化方法研究 (2009年) CSP(通讯顺序进程)和B方法都是一种较好的用于实时控制系统构架分析的形式化方法,但是单独一种在描述实时控制系统构架时都存在不足。通过对CSP技术和B方法的研究,提出了一种能够描述分布式系统和实时控制系统的形式化...
评级：0 浏览量：51 收藏量：0 资源大小：686KB 上传时间：2021-05-06

: 形式化分析工具Scyther软件的说明手册 形式化分析的工具Scyther软件的说明手册，可以对工业协议和安全加密的协议进行形式化分析
评级：0 浏览量：1773 收藏量：1 资源大小：381KB 上传时间：2019-03-19

: 针对NAND闪存硬件的形式化建模针对NAND闪存硬件的形式化建模
评级：0 浏览量：52 收藏量：0 资源大小：2.37MB 上传时间：2021-03-29

: PLC程序形式化的设计与验证 (2013年) 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式...
评级：0 浏览量：100 收藏量：0 资源大小：676KB 上传时间：2021-06-12

: 第04章 形式化说明技术.ppt 第04章 形式化说明技术.ppt
评级：0 浏览量：47 收藏量：0 资源大小：389KB 上传时间：2021-12-04

: UML顺序图的一种形式化描述方法* (2007年) 但UML不是形式化的建模语言，缺乏精确的、形式化的语义，因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言，它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化...
评级：0 浏览量：50 收藏量：0 资源大小：829KB 上传时间：2021-04-24

: 形式化B语言 形式化验证 B语言安全系统设计软件工程
评级：5 浏览量：210 收藏量：0 资源大小：6.24MB 上传时间：2012-03-11

: 软件开发中的形式化方法.pdf 软件开发中的形式化方法.pdf
评级：0 浏览量：94 收藏量：0 资源大小：29KB 上传时间：2021-10-01

: 关于软件形式化方法* (2002年) 简要回顾了形式化方法的发展历程，阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法，以及演绎证明和模型检测等形式验证方法。
评级：0 浏览量：65 收藏量：0 资源大小：880KB 上传时间：2021-05-08

: 软件需求的形式化转换模型 (2007年) 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。
评级：0 浏览量：60 收藏量：0 资源大小：258KB 上传时间：2021-05-26

: 10.形式化建模与分析方法.pdf 10.形式化建模与分析方法.pdf
评级：5 浏览量：222 收藏量：0 资源大小：8.21MB 上传时间：2021-09-14

资源推荐

相关资源标签

形式化验证形式化方法 PDF 软件形式化代数规范网络协议形式化规约软件工程首发论文信息物理系统安全问题中的智能家居平台构件适应构件协同 Modbus 一致性测试天津大学逻辑推理 Embedded Formal specification; Semantic representation; Knowledge management 物联网; 形式化分析; 安全协议; 通信顺序进程工业应用模型检测研究论文自然科学论文 social network cellular cell covert 工程技术机器人机器学习深度学习参考文献专业指导智能系统系统开发期末考试试题软件开发