推荐下载
-
广告策划参考书
广告策划书,娃哈哈C驱动产品,完整的广告策划书模板,涵盖市场分析、广告策略、广告战略、广告计划等。
14 2020-08-15 -
可视化语言文法形式化描述.pdf
可视化语言文法形式化描述.pdf
12 2020-01-30 -
Python精要参考初学参考书
python精要参考,深入浅出地介绍了python编程,是一本不可多得的python初学参考书 Python 精要参考 资源分0 实例 教程
20 2020-08-14 -
形式化故障树分析建模和软件安全性测试
阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
22 2019-06-01 -
本科毕业论文基于CHAM的形式化建模方法研究
本科毕业论文 基于CHAM的形式化建模方法研究 目 录 摘 要 II 关键词 II Abstract II Key words II 1 前言 1 1.1 软件测试的基本问题 1 1.2 软件测试内容
11 2021-04-24 -
数据库形式化安全策略模型建模及分析方法
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方
7 2021-01-17 -
数学建模算法与程序司守奎参考书
这本书是我使用过的有关数学建模的书籍中最全面和最易懂的。分享给大家一起学习。
14 2020-05-15 -
形式语言自动机教学参考书蒋宗礼
形式语言自动机教学参考书（蒋宗礼） pdf版
31 2018-12-24 -
工作流模型及其形式化描述
详细论述各个子模型及其相互关系,并给出三维工作流模型的形式化描述。
17 2019-02-23 -
形式化方法与软件可靠性
形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的
34 2019-03-06
用户评论