会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
摄津Osaka
博客园
首页
新随笔
联系
订阅
管理
2020年6月15日
第四单元作业总结
摘要: 第四单元作业总结 本单元,我们自学了UML图及其json层次化表示方法。在此基础上,我们完成了对类图、顺序图、状态图的解析以及查询方法,并根据UML规则对输入的数据进行了正确性检验。总体来说,第四单元是对前三单元的综合,既有第三单元式的“类规格”要求,也有一、二单元自主设计程序构架的要求,并让我真正
阅读全文
posted @ 2020-06-15 19:28 摄津Osaka
阅读(184)
评论(0)
推荐(0)
2020年5月22日
第三单元作业总结
摘要: 第三单元作业总结 本单元不同之前两个单元,我们不再是按照自己的意愿想怎么写就怎么写,而是必须仔细阅读JML,完成JML中的“规定动作”,保证实现的代码能够到达JML的要求,这就对我们的书写代码时的细致程度、测试强度有了更高的要求。 一、JML基础及工具链 JML基础 JML(Java Modelin
阅读全文
posted @ 2020-05-22 16:29 摄津Osaka
阅读(152)
评论(0)
推荐(0)
2020年4月17日
第二单元作业总结
摘要: 设计策略 本单元开始,我们开启了新世界的大门——多线程编程。多线程是一项程序员既爱又恨的机制,爱在多线程的使用可以有效增加CPU的使用效率、加快程序的运行;恨在多线程的引入会带来复杂的进程同步问题,造成难以发觉、甚至难以复现的bug。如何既能享受到多线程带来的程序运行速度上的提升,又能保证程序不出错
阅读全文
posted @ 2020-04-17 20:46 摄津Osaka
阅读(189)
评论(0)
推荐(0)
2020年3月19日
第一单元作业总结
摘要: 第一单元作业总结 ·程序结构分析 第一次作业 思路 第一次作业为简单表达式的求导,其因子可分为两类,分别为常数和幂函数。数据的形式十分简单,可以两个用两个BigInterger来表示,所有数据都可归一化为的形式,其中指系数和指数可以通过正则表达式进行提取。由于对面向对象的理解还不够深入,加之数据种类
阅读全文
posted @ 2020-03-19 14:53 摄津Osaka
阅读(192)
评论(0)
推荐(1)
公告