软件开发 建立可靠的系统 building reliable systems
（美） 马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022
本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。
薛小铃编著2015 年出版410 页ISBN：9787040432398
本书是作者多年项目实践、指导大学生电子设计竞赛、创新实验室实践和课程建设的经验总结。书中内容取材于作者多年积累的手记和项目笔记，突出了数模混合、单片机和FPGA综合的电子系统设计经验与技巧，书中所有...
刘峰编著2012 年出版310 页ISBN：9787312027925
如何快速而有效地突破日语口语关、将语法活用于实战会话中，是笔者尝试写作本书的目的所在。以谈话分析技巧和语气为线索，对书中涉及的一些新的语法现象提供了新的解释。这些语法解释既可运用于对软件开发专业...
（美）斯蒂夫·迈克康奈尔（Steve McConnell）著；席相霖等译2002 年出版470 页ISBN：7505372858
本书在总结了包括微软公司在内的美国软件业成千上万个软件开发项目的实践经验、研究成果、经验教训的基础上，详细列出了几十种经实践证明可以直接在软件开发中应用，以提高开发速度的最佳实践方法、开发策略、...
杨艳，丁大江，倪祎昭编译2010 年出版295 页ISBN：9787121108167
这是一本关于推荐、推广、推崇敏捷开发的软件方法学教材，这种方法同时尊重人员与实践的软件开发的双重韵律。全书包括两部分共九章。第一部分由三章组成。第1章介绍软件开发韵律的概念，第2、第3章分别讨论人...
（美）马丁著2013 年出版540 页ISBN：9787115294685
本书深入而生动地使用真实案例讲解了面向对象基本原则、重要的设计模式、UML和敏捷实践等程序员必备的知识，书中还提供了极具价值的可重用的C#源代码，重点讲述了如何使用UML和设计模式解决面向客户系统的问题...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
