2018年5月30日
OO第三阶段总结
摘要： 软件形式化方法历史 形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程 序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动 阅读全文
posted @ 2018-05-30 15:17 guzhanpeng 阅读(162) 评论(0) 推荐(0) 编辑