可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
龙军著2016 年出版163 页ISBN：9787030463920
面向服务的计算逐渐成为开放异构复杂环境中分布应用的主流计算模型。当单一服务不能满足用户的需求时，服务组合将按照共享上下文、将多个功能有限的Web服务按照服务描述、约束的可用资源及服务组装成满足用...
（英）丹尼斯·埃杰著；吴志杰译2012 年出版207 页ISBN：9787513526623
《语言规划与语言政策的驱动过程》主要是分析在语言本体、地位和习得规划中的动机。全书以论述结合的方式，运用欧盟、法国、英国等世界各地的语言政策和语言规划实例，深入浅出地阐释了语言规划中的动机。可供...
于本海著2014 年出版152 页ISBN：9787030409379
本书从软件开发的工程过程和管理过程入手，系统地分析可信软件过程构建的复杂性，定义了可信软件过程；为有效地实施可信软件过程管理模型，建立基于可信原则的可信软件过程改进模型；为正确评价可信软件水平，分别构.....
（美）布鲁斯·巴克利（Bruce T. Barkley），（美）詹姆士·塞罗（James H. Saylor）著；毛尧飞等译2002 年出版522 页ISBN：7302059977
（美）William A.Florac，（美）Anita D.Carleton著；任爱华，刘又诚译2002 年出版207 页ISBN：7810771736
（塞尔维亚）GojkoAdzic著；张昌贵，张博超，石永超译2012 年出版190 页ISBN：9787115290267
本书是在世界各地调查了多个团队软件交付过程后的经验总结。讲解了成功的开发团队如何通过示例实现规范，来建立利益相关者和开发团队之间的沟通桥梁，并讲述了敏捷验收测试和行为驱动开发；并在案例分析部分展示...
韩炜编著2017 年出版529 页ISBN：9787516513231
本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发的方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证，从而详细的进行了佐证。该书主要读者群体为...
陆其明编著2006 年出版305 页ISBN：7302137455
本书纵观软件开发在不同发展阶段的特点，介绍脚本驱动的应用软件开发方法，结合实例，介绍XML、JavaScript等编程技术。
