规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化，软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发，是一种应用较为广泛的形式规格说明语言，它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 ...
分类：
其他好文 时间：
2018-05-29 13:59:08
阅读次数：
153
第一课 自动化交易综述知识点1： 课程内容综述，自动化／算法交易介绍，python在自动交易中的应用简介第二课 量化交易系统综述知识点1：回测，自动交易，策略建模，常见平台使用第三课 搭建自己的量化数据库知识点1：软件需求，数据获取方式，数据存储方式实战项目：金融数据的存储，读取第四课 用Pytho ...
分类：
其他好文 时间：
2018-05-22 22:18:51
阅读次数：
260
一、软件质量 CMMI：capability maturity model integration 软件能力成熟度模型 QA：quality assurance 质量保证 QC：quality control 质量控制 Software requirement specification：软件需求规 ...
分类：
其他好文 时间：
2018-05-19 14:00:56
阅读次数：
172
一、实验目的与要求 （1）体验以原型设计为基础的团队软件项目需求获取技巧与方法。 （2）学习利用UML模型描述用户需求。 （3）编写软件需求规格说明书。 二、实验环境要求 （1）实验七开发的团队项目原型； （2）UML绘制工具。 三、实验内容与步骤 实施团队项目软件用户调研活动。 1、需求调研方法 ...
分类：
其他好文 时间：
2018-05-17 00:00:19
阅读次数：
275
项目简介 这是一个search engine（搜索引擎），就是像百度和Google一样。在电脑上或手机上可以输入一个单词或句子，然后给出搜索结果。 选择原因 NABCD分析 N（Need 需求） 随着技术的进步，所有的事情都可以通过谷歌或百度搜索。 但有时候结果是一篇很长而且有时候难以理解的文章。 ...
分类：
其他好文 时间：
2018-05-15 01:38:29
阅读次数：
159
1 前言 对项目进行了可行性论证之后，我们就可以进入需求分析阶段，在这个阶段我们需要充分挖掘用户的真实目标，并且要用UML等方法对其进行形式化建模。 2 题目要求 参考发到群里的《软件需求规格说明书》范本，撰写本团队的软件需求规格说明书 不要照抄范本的内容，请参考它的形式，紧密结合本团队项目实质展开 ...
分类：
其他好文 时间：
2018-05-13 23:06:47
阅读次数：
183
一.题目要求 (1)参考发到群里的《软件需求规格说明书》范本，撰写本团队的软件需求规格说明书 (2)不要照抄范本的内容，请参考它的形式，紧密结合本团队项目实质展开 (3)使用UML工具进行描述，并保证符号、描述语言的一致性 (4)请大家将报告发布在 “石墨文档” 中并将文档链接发布到博客中 (5)推 ...
分类：
其他好文 时间：
2018-05-13 23:04:41
阅读次数：
167
传送门： "软件工程（2018）团体第三次作业" 一.前言 对项目进行了可行性论证之后，我们就可以进入需求分析阶段，在这个阶段我们需要充分挖掘用户的真实目标，并且要用UML等方法对其进行形式化建模。 二.题目要求 参考发到群里的《软件需求规格说明书》范本，撰写本团队的软件需求 ...
分类：
其他好文 时间：
2018-05-13 21:06:50
阅读次数：
187
题目要求 参考发到群里的《软件需求规格说明书》范本，撰写本团队的软件需求规格说明书 不要照抄范本的内容，请参考它的形式，紧密结合本团队项目实质展开 使用UML工具进行描述，并保证符号、描述语言的一致性 请大家将报告发布在 “石墨文档” 中并将文档链接发布到博客中 推荐大家使用 https://www ...
分类：
其他好文 时间：
2018-05-13 19:59:41
阅读次数：
133
题目要求 参考发到群里的《软件需求规格说明书》范本，撰写本团队的软件需求规格说明书 不要照抄范本的内容，请参考它的形式，紧密结合本团队项目实质展开 使用UML工具进行描述，并保证符号、描述语言的一致性 请大家将报告发布在 “石墨文档” 中并将文档链接发布到博客中 推荐大家使用 https://www ...
分类：
其他好文 时间：
2018-05-13 19:58:21
阅读次数：
160
