05 2018 档案

OO第三阶段总结

摘要：软件形式化方法历史形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动阅读全文

posted @ 2018-05-30 15:17 guzhanpeng 阅读(164) 评论(0) 推荐(0) 编辑

OO第二阶段总结

摘要：oo第8次作业 oo第5次作业第五次作业多线程分析：第五次作业是第一次多线程作业，对于此次作业的多线程关键在于对于输入指令的分配过程中出现的问题，不能把相同的指令分配给不同的电梯等问题。我采取的设计是利用java自带的线程安全类ConcurrentLinkedQueue来对指令进行存储，避免了线阅读全文

posted @ 2018-05-02 14:02 guzhanpeng 阅读(140) 评论(0) 推荐(0) 编辑