本書將軟件開發(fā)理論與現代工程方法論相結合，著重研究軟件工程基礎理論與過程、軟件分析與設計及測試方法、軟件維護與項目管理方法等，是指導軟件生產和管理的一本新興的、綜合性的軟件理論與應用圖書。本書分別從傳統(tǒng)的結構化軟件工程和面向對象軟件工程兩個范型出發(fā)，把軟件工程基礎理論與方法融入開發(fā)實踐當中，通過豐富的案例深入地介紹軟件

本書系統(tǒng)地介紹了JavaWeb網站設計開發(fā)原理、技術、框架和流程，用簡潔、清晰的語言講解了網站開發(fā)的前端和后端的相關技術。 本書共13章，內容包括Web技術概述、超文本標記語言HTML?5、層疊樣式表CSS、腳本語言JavaScript、XML與JSON技術、Web服務器工作機理及配置、Servlet技術基礎、JSP技

SystemVerilog硬件設計

內容提要 本書構建了模塊化、層次化的課程結構，全書共9個模塊，以真實工作任務為載體組織教學內容，強化技能訓練，能有效提升讀者的動手能力。全書圍繞“網上商城”數據庫和72項操作任務展開，采用任務驅動式的教學方法，全方位促進讀者數據庫應用與管理能力的提升。 本書以引導讀者主動學習、高效學習、快樂學習為目標，選擇教學內容與教

本書介紹了ISO/IEC15026系列標準中的系統(tǒng)和軟件保證方法——軟件保證舉證。全書共6章，首先概述了軟件保證舉證的相關知識，接著詳細介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎知識、舉證框架、論證模式及應用實例，最后給出了基于非形式邏輯理論的軟件保證舉證信心評定方法。 本書適合從事軟件

本書從初學者的角度出發(fā)，以實戰(zhàn)為導向，幫助讀者快速掌握Kubernetes的核心知識，并在實踐中用好Kubernetes。本書共7章。第1章介紹如何搭建一個易上手的Kubernetes實驗環(huán)境；第2章以Docker為例介紹容器、鏡像、鏡像倉庫等概念和運行原理；第3章介紹容器編排概念，并搭建Minikube的單機環(huán)境和k

本書是系統(tǒng)架構領域標桿參考書的升級版，由業(yè)內資深專家薩姆·紐曼（SamNewman）撰寫。過去10年，隨著微服務的普及，大量組織從單體應用遷移到了微服務應用，分布式系統(tǒng)變得愈加精細化，然而，這個過程中也出現了一系列問題。本書深入探討了構建、管理、擴展和演進微服務架構時需要考慮的方方面面。內容分為三部分：第一部分“基礎”

本書基于Linux操作系統(tǒng)的操作、管理和運維的實際需求，主要講解Linux桌面操作系統(tǒng)Ubuntu的配置管理、桌面應用、編程和軟件開發(fā)。本書共12章，內容包括Ubuntu概述、安裝與基本操作，用戶與組管理，文件與目錄管理，磁盤存儲管理，軟件包管理，系統(tǒng)高級管理，Ubuntu桌面應用，Shell編程，C/C++編程，Ja

全鏈路壓測是互聯網服務容量保障工作人員的重要工作，也是橫跨多個領域的技術。本書采用“理論聯系實際，再從實際回溯到理論”的方式，深入淺出地闡述全鏈路壓測的知識。本書前4章聚焦于全鏈路壓測的基礎知識，先對全鏈路壓測的基本知識和發(fā)展前景等進行深入介紹，再展開講解全鏈路壓測的技術實現、組織保障和工具建設，其間穿插一些實例代碼和

自從2015年被引入JavaScript以來，Promise已經成為這門語言的重要組成部分。所有新的異步應用程序接口都是基于Promise構建的。正因為如此，深入理解Promise的原理是JavaScript開發(fā)人員的進階必修課，也是所有JavaScript編程工作的重中之重。本書共有5章，篇幅短小精悍，代碼清晰易懂。