BUAA OO 第二单元总结 前言 ?本单元我们开始学习多线程程序设计。这对于我来说是一个全新的领域，在这之前我对于多线程这一方面几乎没有任何了解，因此这需要我继续认真学习。本单元需要我们模拟电梯系统的运行，这一个典型的生产者-消费者模型，具有清晰的结构，能够很好地让我们学习多线程相关知识，体会多线 ...
分类：
其他好文 时间：
2021-04-27 14:26:26
阅读次数：
0
面向对象第三单元总结 本单元主要训练JML语言和利用JUnit进行单元测试，重点在于理解透彻JML所描述的类和方法的规格，实现后利用JUnit对重点方法进行测试。Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，利用它可以形式化地描述类和方法地规格 ...
分类：
其他好文 时间：
2020-05-23 00:25:21
阅读次数：
75
OO第三单元——基于JML的社交网络总结 一、JML知识梳理 1）JML的语言基础以及基本语法 JML是用于java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。其为严格的程序设计提供了一套行之有效的方法。通过JML以及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Sol ...
分类：
其他好文 时间：
2020-05-22 13:03:22
阅读次数：
46
接到助教观察工作时，不太清楚需要做些什么，于是对照自己作为教师希望助教观察者做什么来思考：我希望助教观察者能够帮助我了解助教的工作是否到位（是否及时点评以及是否互动有效），如何关心助教以保证助教工作的可持续性，帮助我及时发现班级中出现的问题，更好的推进教学进程。 基于这几点，我主要记录了以下几个方面 ...
分类：
其他好文 时间：
2019-09-16 00:42:01
阅读次数：
144
hOmewOrk 第三单元 总结 JML理论基础梳理 JML是用于对Java程序进行规格化设计的一种表示语言。 1. 注释结构 JML表示规格的内容包含在注释之中。可以使用行注释和块注释。行注释的表示方式为 //@annotation ，块注释的方式为 /* @ annotation @*/ 。 2 ...
分类：
其他好文 时间：
2019-05-21 13:27:29
阅读次数：
167
写博客随笔的意义，其实就和记录美好生活差不多，想到什么写什么。关于Python这是上了大学以来学到的第四种计算机语言了。对于一个还没将之前的东西学透的人来说可以说是相当难学了。 废话不说，首先要知道Python才能够对于之后的学习更有帮助。Python是一种计算机程序设计语言。是一种动态的、面向对象 ...
分类：
其他好文 时间：
2019-03-29 00:52:23
阅读次数：
206
春节时期总有各种诱惑因素（例如路人超能第二季），拖到现在才发布十分抱歉orz。 一、感谢 首先对柯老师和软工助教指导团队这一学期以来的支持和指导表示感谢。第一次做助教，有时候会提出一些不大成熟的想法，柯老师能够包容并且支持我们，十分感谢！ 然后对我们好友兼搭档雨勤同志表示感谢。我们不是第一次合作，但 ...
分类：
其他好文 时间：
2019-02-02 17:25:01
阅读次数：
197
一、学习内容总结 1.经过这几周的学习，总结一下学习的心得与体会。（不少于100字；10分） 我认为C语言学习最重要的不仅是老师的PPT或者黑板上讲解，而且需要自己在电脑上敲代码。这是学习好C语言的重要的环节，对于零基础的我来说，更是如此。C语言是最基本的语言，是走向程序员的第一步，所以我要努力学习 ...
分类：
其他好文 时间：
2018-05-16 22:31:22
阅读次数：
153
第一次作业 =================== GitHub： "pullself" 类图 基本信息 主要是在上一个电梯的基础上修改的。由于本周忙于复习，调度方式较为简陋。 |代码行数|调试bug|编码时间| |: :|: :|: :| |832行|3个|2h| 程序总共由5个文件组成： ：主函 ...
分类：
其他好文 时间：
2018-05-11 23:31:50
阅读次数：
179
作业地址 https://edu.cnblogs.com/campus/hljkj/CS2017 01/homework/1779 评分准则 第一次作业各项成绩包括三项： 完成PTA所有题目：13分 总结和附加题目：15分 博客记录：72分 其中博客记录包含两次PTA题目，一道编程题，各个题目的给分 ...
分类：
编程语言 时间：
2018-05-11 10:40:30
阅读次数：
238
