本书是\

在日益严峻的信息安全背景下，软件的安全性已经成为信息安全问题的重中之重。本书针对信息安全领域这一核心问题，站在软件开发过程控制的视角，从系统工程基本理论思想出发，借鉴当前国际先进的软件安全开发的理论和方法，提出安全属性驱动的软件开发方法。全书以软件安全属性为核心，将安全属性贯穿于软件开发生命周期的每一个阶段，通过对软件开发生命周期全过程的安全质量管理和控制，以期减少开发过程中可能产生的各种漏洞，提高软件产品的本质安全性。全书共分为6章，第1章是软件安全开发相关的基本概念，第2章介绍了软件安全开发方法的历史演化进程以及一些典型的软件安全开发模型，第3章基于需求工程原理阐述了软件安全属性需求获取方法，第4章从系统架构角度出发阐述了软件安全架构的设计方法以及相关安全技术，第5章介绍了软件开发编码过程中的安全问题，第6章对于软件安全性测试进行了全面的阐述。本书的特点是既注重系统性和科学性，又注重实用性，系统性地介绍软件开发生命周期全过程的安全质量保证方法，可作为软件开发组织者、系统分析师、软件架构师、软件设计人员、开发人员、测试人员、系统运维人员以及软件相关专业的在校大学生和研究生学习与实践的较好的参考书。

本书介绍了计算机安全、系统优化与维护、磁盘管理、文件管理、光盘制作、电子图书浏览和制作、语言翻译、图像处理、娱乐视听、数字音频处理、数字视频处理、网络应用等软件工具的应用方法和技巧。本书是作者多年的教学经验的总结，书中选取时效性、应用性较强的工具软件展开介绍。本书内容全面、操作步骤清晰直观、实用性强、注重实践环节。通过本书的系统学习，读者能够掌握一些常用工具软件的使用，具备解决实际应用问题的能力，基本能满足未来工作的需要。全书共12章。每章配有“本章习题”和“上机练习”，既可以让教师合理安排教学内容，又可以让学习者举一反三，快速掌握本章知识。本书可作为各类院校的计算机工具软件应用教材、各层次职业培训教材，同时也可作为广大计算机爱好者的参考用书。

本书全面介绍了软件测试的基本原理和一般方法，同时全面阐述近几年出现的一些新的软件测试方法，结合实例，介绍了目前比较流行的软件测试工具。全书共分10章，分别为：软件测试概述、软件缺陷、软件缺陷、黑盒测试，白盒测试、基于缺陷模式的软件测试、集成测试、系统测试、主流信息应用系统的测试、软件评审和测试管理。基本上涵盖了当今软件测试技术的全部内容，软件测试工具是结合软件测试技术来撰写的，并融合在每一个章节中。本书可作为大学计算机专业本科、研究生的教材，也可以作为软件测试与软件质量保障工程师的参考书。

本书首先介绍什么是性能分析，性能分析如何在项目开发周期中发挥作用，以及通过在项目中进行性能分析实践能够取得的效果。紧接着介绍分析性能所需的核心工具（性能分析器和可视化性能分析器）。然后介绍一系列性能优化技术，后一章会介绍一个具有实际意义的优化案例。

暂缺简介...

本书突出实用特色，讲述软件测试的相关概念、方法和技能，全书分为基础篇、技术篇和工具篇三大部分： 基础篇讲述软件测试与软件质量的基础理论，为后面的学习奠定一定的理论基础； 技术篇讲述了面向传统开发过程、面向软件工程层面的软件测试和自动化测试以及敏捷测试； 工具篇介绍黑盒测试工具与白盒测试工具、性能测试工具与安全测试工具以及测试管理工具，并选取常用软件测试工具讲述其使用方法。本书重视实践能力和操作能力的培养，内容翔实、循序渐进、图文并茂、实用性强，并在案例讲述过程中穿插相关的基础知识和基本理论介绍，做到理论与实践相结合，方法与应用相结合，读者可在较短的时间内理解和掌握软件测试的基本概念和操作实务。本书是软件测试相关课程的配套教材，适用于企事业等单位从事软件测试工作的人员参考学习，也可作为大中专院校计算机、软件工程、测试等相关专业师生自学、教学参考书以及社会各类培训班的即学即用教材，也适用于计算机技术与软件专业技术资格（水平）考试的继续教育。

React是一种JavaScript框架，起源于Facebook公司，用于构建复杂且可维护的用户界面。本书是介绍React的快速实践指南。全书共6章，系统地概括了有关React的方方面面，详细介绍了React的概念、核心、JSX原理、网页应用的构建、程序架构、Flux的用法等内容。本书适合对React感兴趣的读者以及想要使用React进行前端开发的读者阅读参考。

本书是一本AutoCAD和天正电气2014的完全学习手册，通过将软件技术与行业应用相结合，全面系统地讲解了AutoCAD与天正电气的基本操作及机械与建筑电气的理论知识、绘图流程、思路和相关技巧，可帮助读者迅速从AutoCAD与天正电气新手成长为设计高手。全书共4篇19章，第1篇为电气设计基础篇（第1~2章），介绍电气工程图的分类、绘图标准、电气符号、识读等有关电气工程图的基本知识；第2篇为AutoCAD电气篇（第3~9章），循序渐进地讲解AutoCAD的基本操作和绘制机械、弱电等电气工程图的方法；第3篇为天正电气篇（第10~17章），分别讲解天正电气2014的平面图、系统图、电气计算、文字与表格、尺寸与符号标注、文件布图等各项功能和操作；第4篇为项目实战篇（第18~19章），通过民用建筑和防雷接地工程绘图案例，积累实际工作经验。本书附赠DVD多媒体学习光盘，配备了全书相关实例高清语音视频教学，以成倍提高学习兴趣和效率。本书结构清晰、讲解深入详尽，具有较强的针对性和实用性，本书既可作为大中专、培训学校等相关专业的教材，也可作为广大AutoCAD与天正电气初学者和爱好者学习AutoCAD与天正电气的专业指导教材。对各专业技术人员来说也是一本不可多得的参考手册。

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化过程，形式化B方法的验证技术，从UML形式化规约的逐步精化的规范与方法问题，整个规约、精化直到代码生产阶段的模型形式化验证及自动化，基于B方法的面向对象软件体系结构的形式化方法。通过该书的介绍使得学习者真正体会到如何应用形式化技术解决实际软件开发技术问题。基于形式化方法的高可信软件的开发基本走出实验室，满足高可信软件开发的需要。