GB_T 9385-2008 计算机软件需求规格说明规范；中华人民共和国国家标准。详细说明计算机软件需求规格说明书各章节的撰写。
2021-10-11 15:51:27
5.28MB
1
GJB 438B-2009 军用软件开发文档通用要求全文
运行方案说明、需求规格说明、设计说明、研制任务书、开发计划、配置管理计划、质量保证计划、数据设计说明...的格式与要求
2021-09-17 15:21:43
5.06MB
1
vue+springboot教务管理系统毕业论文+功能规格说明+数据库设计书+答辩ppt.zip
2021-08-27 19:00:29
4.09MB
1引言 4
1.1标识 4
1.2系统概述 4
1.3文档概述 4
2引用文件 4
3需求 4
3.1要求的状态和方式 5
3.2需求概述 5
3.2.1系统总体功能和业务结构 5
3.2.2硬件系统的需求 5
3.2.3软件系统的需求 5
3.2.4接口需求 5
3.3系统能力需求 5
3.3.x(系统能力) 5
3.4系统外部接口需求 6
3.4.1接口标识和接口图 6
3.4.x(接口的项目唯一标识符) 6
3.5系统内部接口需求 7
3.6系统内部数据需求 7
3.7适应性需求 7
3.8安全性需求 8
3.9保密性和私密性需求 8
3.10操作需求 8
3.11可使用性、可维护性、可移植性、可靠性和安全性需求 8
3.12故障处理需求 8
3.12.1软件系统出错处理 8
3.12.2硬件系统冗余措施的说明 8
3.13系统环境需求 8
3.14计算机资源需求 9
3.14.1计算机硬件需求 9
3.14.2计算机硬件资源利用需求 9
3.14.3计算机软件需求 9
3.14.4计算机通信需求 9
3.15系统质量因素 9
3.16设计和构造的约束 10
3.17相关人员需求 10
3.18相关培训需求 10
3.19相关后勤需求 10
3.
2021-08-17 00:28:25
37KB
1
1. 什么是形式化方法？
2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。）
3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？
第2章
1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句）
什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。）
什么是命题演算？（用来计算命题的真假） 什么是命题公式的解释？（一个公式里有若干个命题变元，每组命题的真或假进行赋值，解释的个数2的n次方） 2. 什么是真值表？ 3. 什么是谓词？
什么是谓词公式？ 什么是谓词演算？ 4. 什么是证明？什么是定理？
2021-08-09 22:58:05
14.9MB
1
Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在软件产业的一些大型项目中已经获得成功的应用，
2021-08-09 22:53:00
2.94MB
1
GB/T 9385-2008 计算机软件需求规格说明规范 pdf
杨老师推荐标准 有全套！！
2021-06-25 15:23:42
1.21MB
1