软件项目成功之道

（美）理查森，（美）格沃特尼著2011 年出版182 页ISBN：9787115259653

作者以精炼、风趣的语言揭开了项目管理过程的神秘面纱。所涵盖的内容涉及工具、使用项目技术、曳光弹开发以及常见问题的解决方案，并提供大量实用建议，且总结出方方面面的“技巧”帮助读者在阅读过程中快速消...

基于项目的软件工程 面向对象方法 影印版

（美）EvelynStiller，（美）CathieLeBlanc著2002 年出版382 页ISBN：7040114038

领域驱动设计：软件核心复杂性应对之道

（美）ERIC EVANS著 陈大峰 张泽鑫等译2006 年出版390 页ISBN：

本质安全型发电企业安全风险控制指导手册 火力发电手册

中国大唐集团公司编2014 年出版426 页ISBN：9787512360112

随着企业的快速多元化发展，新产业、新技术、新工艺、新材料、新装备带来的安全风险增多，原有管理人才、技术人才被不断稀释，同时国家对安全生产也提出了更高的标准和要求，企业安全生产管理的难度不断加大，安全生...

政治本质安全体系基础理论

神华集团政治本质安全体系建设课题组，中共中央党校政治本质安全体系课题组编2011 年出版323 页ISBN：9787503546532

本书是神华集团有限责任公司党委本书课题组与中央党校党建教研部共同完成一部理论著作，意在研究国有企业政治本质安全体系这一政治科学理论与企业风险管理有机结合的这一新领域，阐释政治风险管控系统中从“被...

软件开发的形式化方法

古天龙著2005 年出版265 页ISBN：704016079X

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

构筑Windows网络安全 从外围到数据

（美）（Johansson，J.M.），（美）赖利（ Riley，S.）著；雷程炜，程双剑，金毅译2007 年出版578 页ISBN：7121046830

在如今严峻的网络安全形势下，如何保护自己企业的网络已经成了各个公司IT部门最为紧要的任务。在众多的安全书籍中，我们可以找到许多理论化的安全概述、定义，也能够发现具体的配置、攻击和防御方法。本书与它们...

持续集成 软件质量改进和风险降低之道

（美）PAULM.DUVALLSTEVEMATYASANDREWGLOVER著；王海鹏，贾立群等译2008 年出版218 页ISBN：7111229215

本书向软件开发者展示了如何将集成变成日常开发过程的一部分。

基于模型的软件开发方法

权巍，李莉，徐晶编著2011 年出版120 页ISBN：9787118076714

本书介绍了基于领域和模型的软件开发方法，该方法结合领域驱动开发方法、模型驱动开发方法及软件构件技术，可有效的缩短开发时间、提高开发效率。本书详细地介绍了领域驱动设计、模型驱动设计、软构件技术等概...

简约之美 软件设计之道

（美）MaxKanat-Alexander；余晟译者2013 年出版106 页ISBN：9787115302380

本书将软件设计作为一门严谨的科学，阐述了开发出优雅简洁的代码所应该遵循的基本原则。作者从为什么以前软件设计没有像数学等学科一样成为一门科学开始入手，道出了软件以及优秀的软件设计的终极目标，并给出了...