JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
DDL_Killer Alpha版本发布声明 1. Alpha版本实现的功能 | 页面 | 功能 | 展示 | | | | | | 注册 | 通过Buaa邮箱进行认证 | | | 日历界面 | | | | 任务列表界面 | | | | 课程中心界面 | | | | 个人信息界面 | | | 2. A ...
分类：
其他好文 时间：
2020-04-29 23:30:02
阅读次数：
97
BUAA_OO_2020_Unit2_Summary 简述 通过Unit2的学习，我了解到Java多线程的相关知识，认识到单例模式、生产者 消费者模式、观察者模式、工人模式等设计模式，并通过设计基于SSTF算法的电梯加深对多线程知识的理解，同时将一部分设计模式加以应用。本博文从设计策略概述、架构可扩 ...
分类：
其他好文 时间：
2020-04-17 09:52:41
阅读次数：
84
第一部分 安装并部署软件 visual studio code 安装 visual studio code 是一款轻量级的代码编辑IDE，安装十分简单，仅需要到 "官网" 选择下载对应的安装包，打开安装包后根据安装步骤一步一步操作即可。安装包需要选择对应系统，笔者使用的是windows系统因此选择 ...
分类：
其他好文 时间：
2020-03-25 21:41:24
阅读次数：
71
面向对象第一单元总结——表达式求导问题 前言： 现在开学已经快一个月了，四周的时间也匆匆过去，面向对象课程第一单元已经结束了，或多或少也算有些收获吧，在这里总结一下自己第一单元的收获与感想。希望每隔一段时间就回过头来看一下走过的路，虽然肯定不会尽如人意，但是可以让我知道哪里做的不好，后面再做时能够更 ...
分类：
其他好文 时间：
2020-03-18 20:12:12
阅读次数：
68
2019年 北航 计算机学院 matlab基础与应用课程 期末复习提纲 ...
分类：
其他好文 时间：
2020-01-02 18:23:04
阅读次数：
161
2019年 北航 计算机学院 数学建模 期末考试题（回忆版） 以及 期末复习纲要 ...
分类：
其他好文 时间：
2020-01-02 17:16:58
阅读次数：
125
题目链接： "HDU 2512" Problem Description 因为长期钻研算法， 无暇顾及个人问题，BUAA ACM/ICPC 训练小组的帅哥们大部分都是单身。某天，他们在机房商量一个绝妙的计划"一卡通大冒险"。这个计划是由wf最先提出来的，计划的内容是，把自己的联系方式写在校园一卡通的 ...
分类：
其他好文 时间：
2019-11-17 23:40:54
阅读次数：
110
zn@buaa:~$ evo_ape euroc m1/state_groundtruth_estimate0/data.csv pl-svo-master2/trajout.txt -angle_deg -as --plotusage: evo_ape euroc [-h] [-r {full,t ...
分类：
其他好文 时间：
2019-07-04 22:42:32
阅读次数：
691
软工总结 一、课程初阅读提问博客 "link" Q1.1： 敏捷开发对于产品的可靠行要求不高？ 这里的可靠性应当是相对而言，对于安防国防领域的软件，由于自身特性，在软件设计时首先考虑可靠性。相对来说，敏捷开发对于产品的可靠性要求要低一点点，容忍度好一点。 Q1.2: 这本书适合作为教材吗？ 我个人还 ...
分类：
其他好文 时间：
2019-06-26 19:16:21
阅读次数：
119
