Fork me on GitHub

05 2018 档案

摘要:规格化设计发展历史 在调研的过程中再一次验证了“百度搜索不适合学术”这个观点,没有找到合适的搜索结果后,转用Google,才找到了一些细节。 保证程序的正确性以及减少软件错误一直是程序员关注的问题,Hoare提出了基于“前置后置条件”的接口规格方法。 为了建立正确的类规格,近些年来,研究者们进行了抽 阅读全文
posted @ 2018-05-28 11:37 mio4 阅读(266) 评论(0) 推荐(0) 编辑
摘要:第七次作业——出租车本次作业是模拟出租车和乘客交互的系统,对于在地图中的乘客发出合法请求之后,出租车先到乘客地点接单然后再将乘客运送到目标位置。本次作业中主要需要处理的问题是如何将gui类自己的代码耦合,正常显示出图形界面;如何设计接单窗口时间限制,如何满足多线程安全。在类的设计上有输入输出处理InputHandler和OutputHandler类,线程有RequestDeal和Taxi,并... 阅读全文
posted @ 2018-05-01 15:09 mio4 阅读(302) 评论(0) 推荐(2) 编辑
摘要:自己学习Java的记录以及在其中踩得的一些坑... 0.0 基本问题关于基本概念的理解Java虚拟机是什么?内部的工作原理JVM、JRE、JDK的含义以及作用javac编译器的使用jar:jar包在Eclipse、IDEA中的导入、jar包的创建多线程线程池,对象锁、类锁 0.1 编码规范对于编程课程的作业,很多程序是写完就扔,一千行一下的代码貌似即使命名糟糕、编码不规范,貌似也能完成要求功... 阅读全文
posted @ 2018-05-01 02:06 mio4 阅读(284) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示