本书介绍了架构的设计过程及设计方法：属性驱动设计（ADD）。书中通过介绍ADD的概念和应用实例，展示了如何执行架构设计，如何重新设计概念，可帮助读者从“入门到精通”掌握软件架构设计。章介绍了软件架构设计和ADD方法的发展史，第2章讨论软件架构设计的细节，第3章详细介绍ADD方法，第4~6章是几个案例研究，第7章展示了其他一些设计方法，第8章深入讨论了设计过程中的分析，第9章讲解了实时过程如何适应组织级别的应用，0章总结了全书的内容。
本书采用“项目贯穿式”的形式编写，从一个实战项目入手，将知识点融入其中，循序渐进地全面介绍Spring Boot和Vue的知识点，并分析源码、剖析原理，使读者能够快速地将知识转换成技能，顺利地进行项目开发实战。软件开发技术日新月异、不胜枚举，常常让人置身其中，不知如何取舍。本书会对同类技术进行充分地对比，并厘清前后端技术三十年的发展脉络，使读者在工作中具备根据项目的规模、应用场景，做好恰当的架构设计和技术选型的能力。
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径，可作为计算机科学与技术、软件工程等专业本科生、研究生的教材，也可作为模型检验领域研究人员及注重系统可靠性的设计与开发人员的参考书。
![Linux系统管理、服务器设置、安全、云数据中心[美]克里斯托弗·尼格斯清华大学出版社（正版旧书）97873025910](http://img3m0.ddimg.cn/89/19/11298711590-1_l.jpg)
精通Linux的指南 《Linux系统管理、服务器设置、安全、云数据中心(第10版)》在上一版的基础上全面更新，旨在帮助Linux新手及中级用户将Linux知识和技能提升到新水平。知名Linux专家、书作家Christopher Negus在本书中浓墨重彩地描述Red Hat Enterprise Linux、Fedora和Ubuntu版本及命令行工具，并通过分步的详明演示和精选习题引导读者悟透Linux操作系统的工作原理。本书还为各类Linux认证考试提供备考资料。 Linux是云计算中大多数技术进步的核心，这意味你必须扎实掌握Linux技术，从而在未来的数据中心高效工作。本书开篇介绍Linux基础知识，接着演示如何运用这些知识将Linux系统部署为虚拟机管理程序、云控制器和虚拟机，并讲述如何管理虚拟网络和网络存储。 本书指引你获取、安装和开始使用Linux，并终驾轻就熟地管理和保护Linux。对于那些希望将Linux用作开
这是一本罕见的站在核心设计者而非普通开发者角度介绍Erlang/OTP系统的书籍。两位作者均是深耕分布式计算领域超过20年的专家。本书内容兼具深度与广度，不仅带领读者通过一步步实践的方式深入剖析了Erlang/OTP中各类核心进程的行为模式的设计原理，并且还介绍了特殊进程、自定义行为模式、发行包制作等不错主题。除此之外，还用了大量篇幅向读者介绍了Erlang/OTP系统中的设计原则、架构分布式系统的方法，以及在此基础上实现容错和规模伸缩所需了解的相关知识。对于任何一位渴望基于Erlang/OTP构建出商业级的分布式、高伸缩性、容错型系统的开发者，本书都是不容错过的经典之作。
一个决心辞职的年轻社工，一趟说走就走的旅行，从繁华都市到云贵高原，从铁窗高墙到沙漠绿洲，与牧民放羊、与女工谈性，从中国到新加坡……跨越两国九城的神奇之旅，当他飘然归来，会作出怎样的选择？《项目CEO两国九城社会服务项目修炼之旅》是项目臭皮匠继《项目百子柜——本社工写给同行者的工具书》后的又一力作，可视为其姊妹篇。书中九名在地接待的“匠师”用鲜活的案例诠释了社会服务项目的道与术，共享他们的项目智慧，叙说他们的生命故事。
本书是作者总结十几年的软件测试的实践经验写成的，希望通过来自一线的实践知识和技能，帮助读者打开一扇通往软件测试之路的大门，寻找到解决测试问题的技术、技巧和方法，体验到测试工作中“逮”Bug犹如“寻宝”的乐趣。全书分为“设计”“工具”和“管理”3篇，共14章，每章的内容虽有的联系，但也可各自独立，读者可以根据自己的需求，按照书的内容顺序阅读，也可以根据自己的兴趣选取相关章节阅读。
