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