- 博客(9)
- 收藏
- 关注
RSS订阅原创 2021-07-04设计规约
useful immutable typesJava集合类型的通常实现（List、Set、Map）都是可变的：ArrayList、HashMap等。围绕可变数据类型的不可变包装器：这种包装器得到的结果是不可变的：只能看。但是这种“不可变”是在运行阶段获得的，编译阶段无法据此进行静态检查。第五讲 设计规约注意：函数的参数类型是否匹配，在静态类型检查阶段完成。返回值类型是否匹配，也在静态类型检查阶段完成。“方法”是程序的“积木”，可以被独立开发、测试、复用使用“方法”的客户端，无需了解方法内部具体
2021-07-04 20:07:28
68
原创 2021-07-02Snapshot diagram
Snapshot diagram为了理解微妙的问题，我们可以画出运行时发生的事情的图片。快照图(Snapshot diagram)表示程序在运行时的内部状态—其堆栈（正在进行的方法及其局部变量）和堆（当前存在的对象）。为什么我们使用快照图–通过图片相互交谈。便于程序员之间的交流–说明基本类型与对象类型、不可变值与不可变引用、指针别名、堆栈与堆、抽象与具体表示等概念。便于刻画各类变量随时间变化–帮助解释团队项目的设计（与对方和TA）。便于解释设计思路–为后续课程中更丰富的设计符号铺平道路。基本
2021-07-04 09:22:42
154
原创 2021-07-02第四讲 数据类型与类型检验
数据类型与类型检验数据类型和变量数据类型是一组值，以及可以对这些值执行的操作。变量：用特定数据类型定义，可存储满足类型约束的值。根据Java约定，基本类型是小写的，而对象类型是以大写字母开头的。对象类型形成层次结构根——对象（所有非基本体都是对象）–除对象外的所有类都有一个父类，用扩展子句指定如果省略extends子句，则默认为object。类是其所有超类的实例继承关系–从其超类继承可见字段和方法–可以重写方法以更改其行为静态与动态数据类型检查Java是一种静态类型语言。静态类
2021-07-02 14:49:47
110
原创 第三讲 软件的配置管理GIT
软件配置管理（SCM）软件配置管理：追踪和控制软件的变化。供应链管理实践包括修订控制和建立基线。配置项（CI）的生命周期软件的任何组成部分（源代码、数据、文档、硬件、各种环境）都可以随着软件生命周期中的时间而更新。软件配置项：软件中发生变化的基本单元（例如：文件）基线：软件持续变化过程中的“稳定时刻”（例如：对外发布的版本）CMDB：配置管理数据库存储软件的各配置项随时间发生变化的信息+基线版本控制版本：为软件的任一特定时刻（Moment）的形态指派一个唯一的编号，作为“身份标识”。版
2021-07-01 15:47:48
2791
原创 2021-06-30第二讲：视图之间的转换
视图之间的转换转换BTW视图软件构造中的转换类型：软件系统的质量特性外部和内部质量因素外部质量因素：诸如速度或易用性之类的质量，其在软件产品中的存在或不存在可能被其用户检测到。外部质量因素影响用户！：适用于软件产品的其他质量，如模块化或可读性，是内部因素，只有能够访问实际软件文本的开发人员才能感知。...
2021-06-30 15:35:29
163
原创 2021-06-30 run-time 第一讲下
运行时软件的高级概念1.可执行程序：CPU执行的机器可读指令序列，以及相关的数据值。这是一个完全编译好的程序，可以加载到计算机的内存中并执行。2.库：可以被不同程序重用的常用目标代码的集合。大多数操作系统都包含一组开发人员可以重用的标准库，而不是要求每个程序都提供自己的库。库不能直接在目标机器上加载和执行；它必须首先与可执行程序链接。3.配置文件和数据文件：这些不是可执行文件；它们提供了程序可以从磁盘加载的有用数据和配置信息。4.分布式程序：这种类型的软件由多个可执行程序组成，这些程序通过网络相
2021-06-30 13:52:42
96
原创 2021-06-29 Views and Quality Objectives of Software Construction 软件构造的多维度视图和质量目标
第一章：Views and Quality Objectives of Software Construction 软件构造的多维度视图和质量目标目标1.从三个维度看软件系统的构成2.用什么样的模型/视图**描述**软件系统3.将“软件构造”看作"**不同视图之间的转换**"4.软件构造过程中应考虑的重要质量指标5.如果未达到期望的质量目标，会有什么后果6.有哪些面向质量指标的软件构造技术总之，要搞清楚软件构造的对象是什么、如何刻画，然后关注如何构造，除了要搞清楚“要构造的结果是什么”还要理
2021-06-29 10:45:54
97
原创 2021春哈工大计算机系统大作业
摘 要本文主要阐述hello程序在Linux系统的生命周期，借助edb、gcc等工具探讨hello程序从hello.c经过预处理、编译、汇编、链接生成可执行文件的全过程。同时比较全方面的涉及了Hello程序在其生命周期中可能出现的特殊情况以及处理方法等。关键词：程序；进程；计算机系统；shell;预处理；编译；汇编；（摘要0分，缺失-1分，根据内容精彩称都酌情加分0-1分）目 录第1章 概述 - 4 -1.1 HELLO简介 - 4 -1.2 环境与工具 - 4 -1.3 中间结果 -
2021-06-21 15:25:44
660
原创 软件构造实验：github提交文件至仓库方法
github提交文件至仓库方法简介提交文件从仓库中删除文件简介由于哈工大软件构造实验需要使用github进行提交，而自己又是一个github的超级小白，于是对github提交方法进行了一次专门的学习，下面简单记录一下github的提交作业方法以及遇到的问题及解决方案等，希望能够帮助大家。提交文件由于github实际上是一个国外的网页，因此在进入时可能会出现一直加载进不去的现象，这些都是正常的，github网址：https://github.com/进入后，首先要进行注册，这一部分比较简单，不在此
2021-05-29 15:26:41
228
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人