軟件

標籤：第7章 物件導向分析  

標籤：第九章、軟體實現        

標籤：很多的pe系統，都有這麼一個東西， 沒啥技術含量，就是給ghost 加一個UI 而已 ，但是使用這玩意恢複系統，會被感染一些捆綁軟體 ，開機之後就會卡頓， 並下載一堆軟體包括  愛奇藝 ， 百度搜尋， 360瀏覽器 等等 ， 另外首頁被鎖定到  搜狗導航 ， 噁心至極 ！！！！ 解決的方法 ：1 是避免使用這個軟體 ， 使用原版 ghost 手式操作2 如果已經用它 製作了備份，或者恢複了系統 ，

標籤：在Centos中yum安裝和卸載軟體的使用方法安裝方法安裝一個軟體時yum -y install httpd安裝多個相類似的軟體時yum -y install httpd*安裝多個非類似軟體時yum -y install httpd php php-gd mysql 卸載一個軟體時yum -y remove httpd卸載多個相類似的軟體時yum -y remove httpd*卸載多個非類似軟體時yum -y remove httpd php php-gd

標籤：http://blog.163.com/amanda_liyan/blog/static/5456169120093304520393/              可行性分析報告1 引言 1.1 編寫目的：闡明編寫可行性研究報告的目的，提出讀者對象。 1.2 項目背景：應包括 　　● 所建議開發軟體的名稱 　　●

標籤：物件導向=對象+類+繼承+通訊。要在軟體開發的實驗中進行體驗物件導向的概念。對象，類，封裝，繼承，訊息，關聯，彙總，多態性是物件導向程式設計的各種屬性。統一建模是一種直觀，明確，構建和文檔化軟體系統產物的通用可視化建模語言，常用的幾種UML圖有使用案例圖，類圖，順序圖，狀態圖等幾種圖種。建模如今已經成為一項經過驗證且被廣為接受的工程技術，比如電影業中的劇本就是一種建模，鑒於軟體開發的複雜性，軟體工程也需要一種建模語言來進行問題的描述。使用案例圖是以使用者角度為出發點的功能圖，類圖描述系統靜

標籤：第5章 軟體工程中的形式化方法   從廣義上講，形式化方法（Formal Method）是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模型的分析活動。狹義的講，形式化方法是運用形式化語言，進行形式化的規格描述、模型推理和驗證的方法。將形式化方法運用於軟體工程實踐當中的只要目的是保證軟體的正確性。  軟體生命週期中的形式化轉化策略：常用轉化策略、直接轉化策略和運用半形式化表示的中間轉化策略

標籤：                                         &

標籤：# 2.1x <- c(1,2,3);y <- c(4,5,6)e <- c(1,1,1)#1)z <- 2*x+y+e;z#2)crossprod(x,y)#3)outer(x,y)#2.2#按列輸入（預設）A <- matrix(1:20,c(4,5))#按行輸入B <- matrix(1:20,c(4,5),byrow = TRUE)#1)C <- A+B;C#2)D <- A*B;D#3)#4)A[1:3,1:3]#5)G <-

標籤：軟體演化是軟體進入使用期對軟體的維護和升級，本章主要講了軟體演化的特性、軟體維護和軟體再工程。軟體演化的特性包括軟體維護是必然的、軟體的不斷修改會導致軟體退化、在早期開發建立起來、軟體開發效率與投入的資源無關及軟體升級是對軟體缺陷的修補。軟體維護講了軟體維護的概念是軟體運行或維護階段對軟體產品所進行的修改，可分為三個類型改正性維護、適應性維護和完善性維護。軟體維護的特點是軟體維護受開發過程影響大、軟體維護困難多和軟體維護成本高。軟體維護過程主要包括建立維護組織、報告與評估維護申請、實施維護

標籤：                                          

標籤：軟體測試在軟體開發中起到相當重要的作用，本章主要講了驗證與確認、軟體測試基礎、軟體測試策略、軟體測試方法、物件導向軟體測試及軟體測試載入器。驗證與確認講了軟體的錯誤、驗證與確認、V＆V的活動，軟體的錯誤講到有錯是軟體的屬性，並用了幾個執行個體開講軟體錯誤的危害。驗證與確認是為了軟體開發各環節的正確性。V＆V活動即是驗證與確認在各階段制定和管理特定的任務。軟體測試基礎講了什麼是軟體測試即對軟體產品生存周期內的檢查、評審和確認，軟體測試的基本原則講了軟體測試中的幾個原則，測試文檔主要包括測試計

標籤：本章主要講述軟體工程中將離散數學的方法用於解決軟體工程領域的問題。形式化方法的開發可以追溯到20世紀50年代後期對編譯技術的研究。也可以理解為，軟體開發實際上就是把現實世界的需求映射成軟體的模型化過程。形式規約：軟體規格說明是對軟體系統對象，隊象的操作方法，以及對象行為的描述。非形式的規格說明可用自然語言，圖，表等形式描述。形式證明與驗證：主要包括模型檢測和定理證明。程式求精：將自動推理和形式化方法相結合，從抽象的形式規約推演出具體的面向電腦的程式碼的全過程。Z語言為以集合論和一階謂詞演算

標籤：                                         &

標籤：1、限幅濾波法（又稱程式判斷濾波法）    A、方法：        根據經驗判斷，確定兩次採樣允許的最大偏差值（設為A）        每次檢測到新值時判斷：        如果本次值與上次值之差<=A,則本次值有效    

標籤：效能測試   loadrunner   http   發帖紀念下本人最近開設的一門軟體效能測試方面的課程全部錄製完畢，        課程URL是：http://edu.51cto.com/course/course_id-2218.html。    課程注重實戰和對重要概念的剖析，整個課程時間超過2000分鐘。 

標籤：                                         &

標籤：                                         &

標籤：        本章承接上一章，上一章重點講解在開發人員與客戶之間的溝通，本章主要的就是開發人員如何設計軟體。        

標籤：軟體開發   工程師   能力   很多人都希望成為一個優秀的軟體開發工程師，那麼，成為一個優秀的軟體開發工程師應該具備哪些能力呢？下面是我個人的見解，有不同想法的歡迎提出討論。在學習之初，我們往往強調的是開發技術，對於軟體開發人員而言，這是最初級也是最簡單的要求。我們想要把我們學到的知識運用到工作生活中，就需要瞭解行業知識了。遇到問題如何解決就需要我們的思維能力了。只有把這三者有效結合起來，我們才可