qq_44051913的博客

原创 面向可维护性的软件构造方法

原创 面向复用的设计模式

原创 设计规约

**设计规约**

原创 数据类型与数据检验

数据类型与数据检验

原创 软件构造过程中的工具

软件构造过程中的工具

原创 软件构造的质量目标

软件构造的质量目标

原创 软件构造过程中的多维度视图

软件构造过程中的多维度视图

原创 2020软件构造实验二

1实验目标概述本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现ADT。具体来说： 针对给定的应用问题，从问题描述中识别所需的ADT； 设计ADT规约（pre-condition、post-condition）并评估规约的质量； 根据ADT的规约设计测试用例； ADT的泛型化； 根据规约设计ADT的多种不同的实现；针对每种实现，设计其表示（representation）、表示不变性（rep invariant）、抽象过程（abstraction

原创 2020软件构造实验三

3实验过程请仔细对照实验手册，针对每一项任务，在下面各节中记录你的实验过程、阐述你的设计思路和问题求解思路，可辅之以示意图或关键源代码加以说明（但千万不要把你的源代码全部粘贴过来！）。3.1待开发的三个应用场景列出你所选定的三个应用。分析三个应用场景的异同，理解需求：它们在哪些方面有共性、哪些方面有差异。航班管理、高铁车次管理、大学课表管理共性：1、计划项：一个待执行的活动\任务，需要分配特定资源。一个计划项的执行过程可分为若干个状态：未分配资源、已分配资源但未启动、已启动、已完成、已取消、挂

原创 软件构造实验一

3 实验过程请仔细对照实验手册，针对四个问题中的每一项任务，在下面各节中记录你的实验过程、阐述你的设计思路和问题求解思路，可辅之以示意图或关键源代码加以说明（但无需把你的源代码全部粘贴过来！）。为了条理清晰，可根据需要在各节增加三级标题。3.1 Magic Squares矩阵以txt形式储存，读入文件，判断输入的矩阵是否为幻方。在main()函数中调用五次isLegalMagicSquar...

原创 eclipse导入org.junit无法解析

每次eclipse构建新项目时都需导入junit具体做法：1、右键项目->构建路径->配置构建路径2、点击库->点击添加库3、然后添加相应版本junit即可

原创 JDK-8安装和WIN10JDK环境变量设置

JDK-8安装和WIN10JDK环境变量设置1.JDK安装下载Windows平台的JDK 安装文件 jdk-8u241-windows-x64.exe后，即可安装JDK 8。安装步骤如下：（1）双击已下载完毕的安装文件，弹出欢迎对话框，单击“下一步”按钮。（2）在下图1“JDK定制安装”对话框中，默认其设置，单击“下一步”按钮（3）在下图所示的“JRE定制安装”对话框中，单击“下一步...

原创 程序人生-Hello’s P2P

程序人生-Hello’s P2P摘 要本文通过介绍hello从产生到消亡体现一个C代码从简单C源文件经过多种处理后成为可执行文件，在屏幕上显示即hello.c程序,经过预处理，编译，汇编，链接4个步骤后变为可执行文件。通过这个hello的一生能更好的了解计算机系统的更多的深层次操作，对于编写程序代码有更深层次的帮助关键词：hello的一生，预处理，编译，汇编，链接，进程管理，存储管理，IO...