自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(5)
  • 收藏
  • 关注

原创 软件构造笔记(四):Spec、AF和RI

前言 本文将介绍一些关于ADT设计中Spec、AF和RI的细节。由于内容较为细碎,为了加强理解,特将该部分知识点列出来,进行简单归纳总结。一. Spec刚开始接触软件构造时,关于规约Spec的概念便已经有所接触,但真正开始逐步认识还是在实验中设计规约的时候。(一)含义 Spec是程序员在设计ADT时对自己所写方法的规约,它规定了方法应该做什么,不应该做什么。而在接下来的设计中,测试用例的编写就需要依靠Spec的描述,因为程序员所编写的代码必定是...

2021-07-07 23:38:36 446

原创 软件构造笔记(三):关于等价性的个人理解

前言前两篇博客中介绍了自己软件构造的第二次、第三次实验内容及心得体会,本文将介绍一些软件构造学习过程中遇到的一部分知识点难点,剩余的内容将在随后补充。

2021-07-07 20:38:03 434

原创 软件构造lab3心得

前言经过前后两周时间的调试和反复修改,终于完成了lab3实验指导手册中的内容(当然不一定很完善)。简单写一下心得,梳理一下自己实验中的收获,以及实验过程给我带来的新体会。外加临近期末考试,需要对知识点进行整理,对课程布置的实验进行回顾,因此决定写一篇博客,记录一下lab3给我带来的收获。内容一. 实验目标概述该实验的目标是编写具有可复用性和可维护性的软件,主要使用以下软件构造技术:子类型、泛型、多态、重写、重载;继承、代理、组合;语法驱动的编程、正则表达式;...

2021-07-07 01:20:27 217

原创 软件构造lab2回顾

前言 临近期末考试,开始对知识点进行整理,对课程布置的实验进行回顾。经过反复对比,感觉还是动手实验对知识获取的帮助最大,逐步解决问题的过程让自己对课上知识的理解更深入了一些。Lab2这一部分的的主要内容是ADT和OOP,实验目的也是抽象数据型的实现,以及面向对象编程。以下是对Lab2这一实验过程中遇到的一些事物做的简单回顾,课程中涉及到的其他重要知识点将在以后慢慢总结。内容一. 实验目标概述本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象编程...

2021-07-06 20:14:31 155

原创 哈尔滨工业大学计算机系统大作业

摘 要本实验主要对hello这一c程序的整个生命周期展开研究。我们从hello.c源程序为起点,从预处理、编译、汇编、链接,到加载、运行,再到终止、回收逐一进行分析综合,并结合对《深入理解计算机系统》一书的内容及计算机系统课上老师的讲授,在Ubuntu系统下对hello程序展开编译、链接、调试、运行等实际操作,顺着hello.c文件在计算机中执行的生命周期,在整个计算机系统中漫游,并把计算机系统的体系整体串联在一起关键词:Linux;hello程序;生命周期;计算机系统; .

2021-07-01 01:30:59 352

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除