Linny_m-优快云博客

原创任务栏图标白板解决记录

清除图标缓存win+r cmdtaskkill /im explorer.exe /fcd /d %userprofile%\appdata\localdel iconcache.db /astart explorer.exe

2022-04-27 19:54:58 189

原创【软件构造】ADP+OOP——五、抽象数据类型（ADT）

ADP + OOP五、抽象数据类型（ADT）阅读资料：MIT 课程阅读10-抽象数据类型MIT 课程阅读11-抽象函数与表示不变量1、抽象和用户定义的类型除了编程语言提供的基本数据类型和对象数据类型，程序员可以定义自己的数据类型。数据抽象：由一组操作所刻画的数据类型传统的类型：关注数据的具体表示抽象数据类型强调作用在数据上的操作，程序员和客户端只需设计/使用操作，不需要关心数据如何具体存储。2、类型和操作的分类类型可分为可变和不可变数据类型两种。可变类型的对象提供了可改变其内

2021-07-07 09:47:21 262

原创【软件构造】ADP + OOP——四、设计规约

ADP + OOP四、设计规约阅读资料：MIT 课程阅读06-规格说明MIT 课程阅读07-设计规格说明1、编程语言中的函数和方法参数类型是否匹配，返回值类型是否匹配，都在静态检查阶段完成。方法是程序的积木，可以被独立开发、测试、复用；使用方法的客户端，无需了解方法内部具体如何工作——抽象2、规约Specification(1)编程中的记录代码本身蕴含着我们的设计决策，但是远远不够；我们需要写出我们的假设，防止自己记不住，以及别人看不懂。代码中蕴含的设计决策：给编译器读

2021-07-06 17:00:16 175

原创【软件构造】ADP + OOP——三、数据类型与类型检验

ADP + OOP数据类型与类型检验阅读资料：MIT 课程阅读01-静态检查MIT 课程阅读08-可变性与不变性1、编程语言中的数据类型基本数据类型primitive typesint（范围 ±231\pm 2^{31}±231）long （范围±263\pm2^{63}±263）boolean（true/false）double（浮点数）char（单个字符，如‘A’）对象数据类型object typesString 表示一个字符序列BigInteg

2021-07-05 23:11:46 244

原创【软件构造】软件构造基础——二、软件构造过程与配置管理

软件构造基础二、软件构造过程与配置管理课程目标了解软件开发的基本过程了解传统软件开发过程模型，包括线性和迭代模型（瀑布模型、增量模型、原型模型、螺旋模型和 V 模型）了解并实践敏捷开发了解软件配置管理（SCM）学习如何使用 Git 进行日常 SCM 任务（个人开发的基本命令，协作开发的高级命令）了解软件构建的一般流程（设计→编程→调试→测试→构建→发布）使用Eclipse IDE作为Java构建环境和工具了解用于审查和静态分析、调试（转储、日志记录）和测试以及动态分析/剖析的典型工具

2021-07-02 15:15:12 214

原创【软件构造】软件构造基础——一、软件构造的多维视图和质量目标

软件构造基础一、软件构造的多维视图和质量目标课程目标从三个维度理解软件系统的构成（对象是什么）了解使用什么模型描述软件系统的形态和状态（如何刻画）将软件构造看作不同视图之间的转换（如何构造）了解软件构造过程中应考虑的质量因素了解如果达不到质量目标的结果了解本课程将研究哪些面向质量指标的软件构造技术清楚要构造的结果是什么，如何才算好1、多维软件视图-按阶段：构造阶段(build-time)/运行阶段(run-time)视图-按动态性：时刻(moment)/时期(period)视图

2021-06-24 15:10:38 442

原创【计算机系统】计算机系统大作业——程序人生

摘要本论文通过hello.c程序，对在CSAPP课程中所学知识进行整理，在Ubuntu虚拟机Linux系统下进行所有操作，运用Linux系统的工具，分析hello程序的一生。关键词： hello，计算机系统，linux，程序人生第1章概述1.1 Hello简介Hello的P2P过程：在VSCode等编.

2021-06-22 17:32:09 764

Linny的博客