规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化，软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发，是一种应用较为广泛的形式规格说明语言，它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 ...
分类：
其他好文 时间：
2018-05-29 13:59:08
阅读次数：
153
规格化设计的发展历史 （这一部分并没有找到答案，于是参考了好黄和温莎莎的blogs） 1950年代，第一次分离，主程序和子程序的分离程序结构模型是树状模型，子程序可先于主程序编写。通过使用库函数来简化编程，实现最初的代码重用。产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可 ...
分类：
其他好文 时间：
2018-05-28 13:41:13
阅读次数：
143
定义：一个复杂对象的构建与它的表示分离，使得同样的构建过程可以创建不同的表示。 情景：在软件系统中，有时需要创建一个复杂对象，并且这个复杂对象由其各部分子对象通过一定的步骤组合而成。例如一个采购系统中，如果需要采购员去采购一批电脑时，在这个实际需求中，电脑就是一个复杂的对象，它是由CPU、主板、硬盘 ...
分类：
其他好文 时间：
2018-05-24 00:38:10
阅读次数：
172
源地址：https://www.cnblogs.com/vathe/p/7349816.html 1.UML简介 统一建模语言（Unified Modeling Language，UML）又称标准建模语言，是始于1997年的一个OMG标准，它是一个支持模型化和软件系统开发的图形化语言，为软件开发的所 ...
分类：
其他好文 时间：
2018-05-22 20:38:06
阅读次数：
213
动手写代码之前的准备工作 Keil软件介绍、安装 IDE——集成开发环境，一套用来开发的完整的软件系统 Keil uvision 1.4版本 Keil、MDK——主要开发ARM-Cortex-M系列单片机程序 Keil基本使用演示 1、使用Keil打开已有工程项目 创建一个工程项目①双击程序，后缀名 ...
分类：
其他好文 时间：
2018-05-21 12:28:36
阅读次数：
231
keil软件： IDE:IDE是集成开发环境，就是用来开发的完整的软件系统。 keil和mdk: keil:只能用来开发单片机 mdk:基于keil 拓展ARM的开发，主要用来开发ARM-cortex-m系列单片机的程序。 使用keil打开已有的工程项目： 1、IDE开发软件：创建一个工程项目（pr ...
分类：
其他好文 时间：
2018-05-20 22:48:00
阅读次数：
199
1.不要轻易换笔记本电脑，不要跟潮流，不要买过多的电子产品，不要过于频繁的更换手机 这方面我的经验教训也是惨痛的。我大概前后购买过 5-6 个笔记本，以前的都是 1 万多元一台，最近买的这台 1 万多是给女朋友的，自己买了一台是 7500 元左右，手机大概换过接近 10 个了，这些钱加起来也足够有 ...
分类：
其他好文 时间：
2018-05-20 22:18:53
阅读次数：
271
转载 https://www.yeniugo.com/29.html 做为一名程序员非常清楚的一点是，软件漏洞是很正常的。无论在任何情况下，系统都是有漏洞的，所以，很讨厌拿系统漏洞来说事，因为，那个无法避免。无论你怎么做，都不可能没有办法去攻破的。毕竟，所有的东西，都是有软件系统的。当然，能接受这个 ...
分类：
其他好文 时间：
2018-05-19 17:06:44
阅读次数：
178
软件的定义：与计算机系统操作相关的计算机程序、文件文档、配置数据 软件测试目的：尽可能发现软件中的缺陷 软件测试的定义：使用人工或者自动化的测试方式，检测软件系统是否满足用户需求，并找出与预期结果之间的差异 软件测试的对象：源代码、文档及配置数据 软件的生命周期：市场需求调研--可行性研究--产品项 ...
分类：
其他好文 时间：
2018-05-17 19:49:35
阅读次数：
132
一什么是uml：UML（unifiedmodellanguage)统一建模语言。是一种标准的图形化建模语言。主要用于软件的分析和设计，用定义完善的符号来图形化展示软件系统。UML不涉及编程问题，即与语言平台无关，就使得开发人员可以专注于建立软件系统的模型和结构。结构图中比较常用的时类图和对象图，行为图比较常用的有用例图，状态图，顺序图。二类图学习：类图分为三大部分：类名，属性名，方法各个类之间的关
分类：
其他好文 时间：
2018-05-17 00:02:06
阅读次数：
169
