层次化模糊Pet ri 网:形式化定义和推理
用户评论
推荐下载
-
软件工程形式化方法与语言李莹.吴江琴
献给所有对技术抱有好奇心和热情的软件工程师们
10 2020-09-17 -
论文研究网络攻击过程的形式化描述方法研究.pdf
采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYNFlooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了
13 2020-06-13 -
天津大学逻辑与形式化方法复习资料.rar
天津大学逻辑与形式化方法复习资料,其中包括: 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型
10 2020-11-21 -
形式化方法对构件库管理系统支持的探讨
摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词:构件模型构件库形式化方法形式化描述。 在基
4 2020-12-16 -
论文研究CIM建模及模型形式化方法研究综述.pdf
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computationindependentmodel,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是
49 2019-09-09 -
软件工程形式化方法与语言李莹吴江琴
是一本描述集合论里面各种符号的教程,描述的十分详细,很好
56 2019-01-11 -
论文研究基于形式化的测试框架及实例分析.pdf
测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持
24 2019-09-14 -
prolix coding style我偏爱的编码风格的形式化源码
Prolix编码样式 我偏爱的编码风格的形式化。 这种编码方式应该与几乎所有语言兼容,Python是一个明显的例外。 基本原理 顾名思义,Prolix编码风格是冗长的。 如果代码长度对您来说是个问题,
7 2021-05-03 -
Coq Polyhedra在Coq中将凸多面体形式化源码
Coq-Polyhedra 在Coq中将凸多面体形式化 安装 先决条件 (> = 8.9, opam switch -A $OVERSION coq-polyhedra 其中$ OVERSION
13 2021-04-02 -
构件式体系结构模型映射的形式化语义
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射
4 2021-02-27
暂无评论