于本海著2014 年出版152 页ISBN：9787030409379
本书从软件开发的工程过程和管理过程入手，系统地分析可信软件过程构建的复杂性，定义了可信软件过程；为有效地实施可信软件过程管理模型，建立基于可信原则的可信软件过程改进模型；为正确评价可信软件水平，分别构.....
李红霞，陈均明著2011 年出版194 页ISBN：9787564309312
本书初步探索了软件可信定量化，介绍了可信计算和软件可信性的相关知识。本书对基于可信度的软件可信度量方法进行了详述。按照软件工程规范和设计理念，完成了软件可信度量评估系统的设计与实现。对该系统进行...
韩炜编著2017 年出版529 页ISBN：9787516513231
本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发的方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证，从而详细的进行了佐证。该书主要读者群体为...
张卫祥，刘文红，吴欣编著2015 年出版226 页ISBN：9787302405351
将软件可信性与软件评估技术相结合，探讨全软件开发生存周期的软件可信性度量与评估方法，是撰写本书的目的。本书以全生存周期的软件可信性定量评估方法为主线，有取舍地介绍了软件工程、软件质量评估和软件可信...
DESIGN FOR TRUSTWORTHY SOFTWARE可信赖的软件开发
（美）BIJAY K.JAYASWAL，PETER C.PATTON2008 年出版511 页ISBN：9787302172826
本书详细介绍了几个已被证明为有效的质量方法的理论和实践，它们适合于软件开发，可以很好地交互使用。适用于软件开发企业的开发、管理人员。...
崔梦天，赵翠新，王玉红著2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
张璇，王旭著2017 年出版302 页ISBN：9787030534385
全书包含七章，第一章讨论可信软件提出的背景，学术界与工业界对可信软件和可信软件需求的定义，软件过程概念及软件过程与可信软件的关系。基于第一章的基本介绍，剩余章节按其内容分为三个部分：第二章和第三章组成...
张焕国，赵波等著2011 年出版471 页ISBN：9787307090460
本书包括：可信计算的概念，可信计算的发展，可信平台模块（TPM）技术，可信PC平台技术，可信PDA平台技术，可信服务器技术，可信网络连接（TNC）技术，可信手机模块技术，可信软件技术，可信计算理论。系“十一五”国家......
