2016 年出版209 页ISBN：9787115431240
本书主要介绍25个软件架构坏味，它们在确定设计问题时的作用，以及可用的重构方法，并结合图标和实例给出了详尽说明，旨在引领读者掌握代码易读、易修改的关键，让代码具备重构能力。另外，本书将何时应该重构、重构时...
2017 年出版180 页ISBN：9787111548362
本书第1章介绍了SDN和NFV技术的基本概念和发展方向，第2章从架构、协议、资源、应用和系统实现等几方面阐述了SDN和NFV面临的风险和解决方法，第3到5章依次介绍了软件定义安全的背景、概念和架构，第6章从原理上...
2006 年出版841 页ISBN：7111197704
本书是系统介绍软件工程理论的经典教材，自1982年初版以来，随着软件工程学科的发展不断更新，培养了一代又一代软件工程人才，对学科本身也产生了重大影响。...
2003 年出版167 页ISBN：7535932312
本书系统地论述了MIS软件开发各个阶段的建模问题和应用软件的组装控制问题，描述了基于构件库的应用软件支撑平台的开发。
2017 年出版203 页ISBN：9787030507570
本书首先介绍了软件无线电概念和发展历史，并简要阐述软件无线电的主要基本理论。然后介绍GNURadio软件无线电平台及其USRP硬件平台，GNURadio的安装，GNURadio的使用和GNURadio的开发。本书最后介绍了基于GNURad...
2017 年出版132 页ISBN：9787312041020
本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论...
2017 年出版295 页ISBN：9787030513007
伴随恶意代码种类和数量的不断增加，对恶意代码分析方法提出更高要求，在传统的特征码检测方法与启发式检测方法存在样本分析成本过高、无法有效检测未知恶意软件等问题；新型基于机器学习的恶意软件检测方法能够...
2016 年出版192 页ISBN：9787111540236
本书阐述什么是人类可控制管理的安全软件开发过程，给出一种基于经验的方法，来构建最好用的安全软件开发模型，以应对安全问题，并在安全软件开发模型中解决安全问题。本书分为三部分，共10章。第1章简要介绍软件安...
2015 年出版196 页ISBN：7115418985
本书以计算机发展的新热点为主要内容，介绍了移动计算机、软件工程及其再工程、主存数据库、网络与安全、人工智能、大数据、移动互联网、物联网等知识。本书力求使得学习者在学习计算机专业英语的同时也能学...
2016 年出版287 页ISBN：9787302448884
本书阐述了软件工程的基本思想、软件开发过程、面向对象的分析与设计技术及项目管理的内容。它以软件生命周期为主线，在各章节中介绍了软件开发过程中的每个阶段需要完成的任务目标、基本原理、采用的技术及...
2016 年出版238 页ISBN：9787302434511
本书主要介绍了Office最新版本——2010版的几个主要应用软件，内容包括Word基础知识与应用、Excel基础知识与应用、PowerPoint基础知识与应用和Visio的简单应用等。全书紧密围绕办公、教学过程中的文字处理、...
2017 年出版288 页ISBN：751239974X
与市场上侧重理论知识为主的软装图书相比，本书以理论为辅，侧重实用知识与实战技巧，内容上分为软装设计基础、软装色彩搭配、软装元素运用、软装风格速查等四个章节，重点解析软装设计中最重要的色彩表现与元素运...
2015 年出版222 页ISBN：9787560638324
本书第一部分为任务驱动课程模块，具体内容为熟悉Java开发环境，数据类型的声明，使用和转换、方法与运算符，分支语句与命令行参数，控制语句之循环语句初步，循环结构之多重循环；第二部分为项目驱动课程模块，具体内容为...
2016 年出版299 页ISBN：9787302448389
本课程面向数学类专业低年级研究生和高年级本科生，以各种数学理论为基本出发点，把数学知识、数学思维与软件设计、软件编程有机结合，重点介绍MATLAB、R语言、LINGO等各种数学类软件的使用方法和典型数学问题的...
2017 年出版280 页ISBN：9787113225063
本书是根据高等院校传统的“大学计算机”基础课程旨在提高与深化相关知识的后续教材，结合教育部考试中心颁布的《全国计算机等级考试二级MS Office高级应用考试大纲（2013版）》，以Office 2010为操作平台编写而成...
2016 年出版137 页ISBN：9787121297045
人类到目前为止已经能够度量越来越多的东西，例如时间、长度等，但是在软件开发领域，我们依然很难去评估一个软件系统的质量，以及维护它的难易程度。可维护性越差，意味着开发成本越高、开发速度越慢，以及由于改动带...
2016 年出版149 页ISBN：9787030493002
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...
