何小朝编著2010 年出版290 页ISBN：9787121104848
本书从软件与三维实物的本质性不同出发研究软件生产方法论。今天，软件生产中许多传统问题并没有得到质的改善，以“爆炸”形容的技术发展的实质究竟是什么？先进管理模式下的管理现状如何？本书首先深入分析以上问...
马海云著2013 年出版260 页ISBN：9787118088601
本书主要内容有4个部分：第1部分问题的逻辑化过程，主要包括逻辑化技术、基于推理规则的逻辑结构设计技术；第2部分逻辑结构的优化技术，主要包括学习规则及应用技术、搜索策略的应用及改进技术研究；第3部分逻辑过程...
（美）贾亚斯瓦等著；吴峻申，蒋乐天，黄诚译2013 年出版512 页ISBN：9787111428190
本书介绍了一种可在早期解决软件质量问题，使软件质量管理目标变成防止在实施阶段发生bug而不是在实施阶段中或之后发现和解决bug,名为可信任软件设计（DFTS）的综合技术。这种技术可信之处在于能在一行代码都未...
（美）费尔班克斯著2013 年出版360 页ISBN：9787560990750
本书从多个视角阐述了软件架构的建模过程和方法，包括用例模型、概念模型、域模型、设计模型和代码模型。作者在探讨比较多种架构风格的差异和利弊的基础上，结合自己的工作经验，提炼出通过风险驱动的软件架构建...
（美）Jason Andrews著；周立功等译2006 年出版178 页ISBN：7810777521
本书是一本硬件/软件协同验证技术相关信息的书。传统的潜入式系统设计已经发展成为单个芯片的设计。在这个SoC设计的时代，芯片现在已经把微处理器包含在内，而且，还要求软件在硬件装配好之前就能开发出来。本书...
李一叶著2017 年出版184 页ISBN：9787568907279
本书分7章，主要介绍BIM应用概述、BIM应用的目的、BIM现阶段如何缓解制图效率对BIM技术的影响、BIM设计与传统CAD制图的差异、BIM执行技术与图纸标准化管理、Dynamo自动化流程探索、BIM设计与各专业制图要求...
（美）ERICH GAMMA RICHARD HELM RALPH JOHNSON JOHN VLISSIDES著；李英军 马晓星 蔡敏 刘建中译2007 年出版641 页ISBN：711121126X
本书界和设计实例从面向对象设计的设计中精选出23个设计模式，总结了面向对象设计中最有价值的经验，并借用简洁可复用的形式表达出来。本书分类描述了一组设计良好、表达清楚的软件设计模式。...
（美）AlanShalloway，ScottBain，KenPugh，AmirKolsky著；郑立，邹骏，黄灵译2012 年出版186 页ISBN：9787111395270
现在敏捷开发已经深入人心了，但敏捷方法依然难于衡量与提高。本书将介绍用于评估和优化个人及团队敏捷实践的已经过证明有效的技巧。通过真实的实例，书中介绍了规则、态度、习惯、技术实践以及各种设计老师，除...
（英）PETEREELESPETERCRIPPS著2010 年出版243 页ISBN：9787111301158
本书先从基本原理入手，介绍软件项目开发过程中涉及的一些概念、流程、方法、用到的工作产品及可重用的资源，从第6章开始，通过介绍一个具体的案例来阐述如何定义需求、创建逻辑架构、创建物理架构。在第10章“...
