一、总结分析自己实现规格要求所采取的设计策略 首先分析要抛出哪些异常情况，把异常情况都抛完了再处理正常情况。 先通过JML读懂这个函数要实现什么功能，然后考虑有没有时间复杂度更优的实现方法。 二、基于JML规格来设计测试的方法和策略 JUnit：JUnit是一个开放源代码的Java测试框架，用于编写 ...
分类：
其他好文 时间：
2021-06-02 19:10:46
阅读次数：
0
用 notion 管理信用卡与花呗 Notion原文，排版更佳 概述 不需要提醒功能和安卓用户可以忽略Scriptable和快捷指令 app的设置 Notion 建立信用卡表格，录入信用卡基本信息，自动计算还款日 使用 Scriptable iOS app内建立组件，调用 notion 私人 API ...
分类：
其他好文 时间：
2021-06-02 17:32:18
阅读次数：
0
【实例解决办法】Android Studio:design editor is unavailabel until after a successful project sync. / Gradle sync failed: Failed to open zip file. 解决办法 Android ...
分类：
移动开发 时间：
2021-06-02 17:11:31
阅读次数：
0
OO Unit3 Summary 前言 这单元真是暗流涌动。 ? ——沃兹基-硕德 你们要相信自己已经学过很多东西了，所以你们要多花精力去思考一些问题，把自己学过的东西融会贯通起来。 ? ——王旭老师 正文 实现规格的设计策略 我实现规格的策略是： 先通读一遍规格，尝试通过规格与合理猜测将每个接口和 ...
分类：
其他好文 时间：
2021-06-02 17:06:02
阅读次数：
0
1、打开设置： 2、搜索 输入shell:windows，setting.json中编辑 或者直接打开设置json 3、配置 json文件中默认配置 如果你的json配置文件中没有如下参数，直接复制拿走 对应路径改成自己本地即可 { "workbench.iconTheme": "vscode-ic ...
分类：
其他好文 时间：
2021-06-02 16:19:10
阅读次数：
0
搭建war包之前，前提是要在linux中先搭建好jdk和tomcat的路径 将解压出来的 version.dll 和 payload.bin 扔到软件安装根目录即可，再重新启动Navicat即可 我的是在：F:\install\work\navicat\Navicat Premium 12 recr ...
分类：
数据库 时间：
2021-06-02 15:57:33
阅读次数：
0
北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
加密数字货币有着非常漫长的历史，这个冷知识专栏用几个主要人物和他们的创造，来展示一个简明的加密数字货币前传。 《区块链：技术驱动金融》一书的前言“通往比特币的漫长道路”（杰里米·克拉克/文）从技术与历史的角度对加密数字货币的历史进行了详细的阐述，这里参考了他的梳理分析。 1) 1983年，大卫·乔姆 ...
分类：
其他好文 时间：
2021-06-02 15:12:02
阅读次数：
0
第一种模型(直连) 在上图的模型中，有以下概念： P：生产者，也就是要发送消息的程序 C：消费者：消息的接受者，会一直等待消息到来。 queue：消息队列，图中红色部分。类似一个邮箱，可以缓存消息；生产者向其中投递消息，消费者从其中取出消息。 第二种模型(work quene) Work queue ...
分类：
其他好文 时间：
2021-06-02 14:16:36
阅读次数：
0
Thanks for posting these tips. I was devastated when my project dropped to 3 FPS because material properties don't work out of the box. I was able to ...
分类：
其他好文 时间：
2021-06-02 12:56:58
阅读次数：
0
