本书将软件开发理论与现代工程方法论相结合，着重研究软件工程基础理论与过程、软件分析与设计及测试方法、软件维护与项目管理方法等，是指导软件生产和管理的一本新兴的、综合性的软件理论与应用图书。本书分别从传统的结构化软件工程和面向对象软件工程两个范型出发，把软件工程基础理论与方法融入开发实践当中，通过丰富的案例深入地介绍软件

本书系统地介绍了JavaWeb网站设计开发原理、技术、框架和流程，用简洁、清晰的语言讲解了网站开发的前端和后端的相关技术。 本书共13章，内容包括Web技术概述、超文本标记语言HTML?5、层叠样式表CSS、脚本语言JavaScript、XML与JSON技术、Web服务器工作机理及配置、Servlet技术基础、JSP技

SystemVerilog硬件设计

内容提要 本书构建了模块化、层次化的课程结构，全书共9个模块，以真实工作任务为载体组织教学内容，强化技能训练，能有效提升读者的动手能力。全书围绕“网上商城”数据库和72项操作任务展开，采用任务驱动式的教学方法，全方位促进读者数据库应用与管理能力的提升。 本书以引导读者主动学习、高效学习、快乐学习为目标，选择教学内容与教

本书介绍了ISO/IEC15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件

本书从初学者的角度出发，以实战为导向，帮助读者快速掌握Kubernetes的核心知识，并在实践中用好Kubernetes。本书共7章。第1章介绍如何搭建一个易上手的Kubernetes实验环境；第2章以Docker为例介绍容器、镜像、镜像仓库等概念和运行原理；第3章介绍容器编排概念，并搭建Minikube的单机环境和k

本书是系统架构领域标杆参考书的升级版，由业内资深专家萨姆·纽曼（SamNewman）撰写。过去10年，随着微服务的普及，大量组织从单体应用迁移到了微服务应用，分布式系统变得愈加精细化，然而，这个过程中也出现了一系列问题。本书深入探讨了构建、管理、扩展和演进微服务架构时需要考虑的方方面面。内容分为三部分：第一部分“基础”

本书基于Linux操作系统的操作、管理和运维的实际需求，主要讲解Linux桌面操作系统Ubuntu的配置管理、桌面应用、编程和软件开发。本书共12章，内容包括Ubuntu概述、安装与基本操作，用户与组管理，文件与目录管理，磁盘存储管理，软件包管理，系统高级管理，Ubuntu桌面应用，Shell编程，C/C++编程，Ja

全链路压测是互联网服务容量保障工作人员的重要工作，也是横跨多个领域的技术。本书采用“理论联系实际，再从实际回溯到理论”的方式，深入浅出地阐述全链路压测的知识。本书前4章聚焦于全链路压测的基础知识，先对全链路压测的基本知识和发展前景等进行深入介绍，再展开讲解全链路压测的技术实现、组织保障和工具建设，其间穿插一些实例代码和

自从2015年被引入JavaScript以来，Promise已经成为这门语言的重要组成部分。所有新的异步应用程序接口都是基于Promise构建的。正因为如此，深入理解Promise的原理是JavaScript开发人员的进阶必修课，也是所有JavaScript编程工作的重中之重。本书共有5章，篇幅短小精悍，代码清晰易懂。