計算機方面的英文幫忙翻譯下 10

計算機方面的英文幫忙翻譯下!!!!!!!!!!

1樓：悟凌波

以下章節目前一套現代技術獲取內部質量。我們不應該，但失卻了全球圖畫；內部技術本身不是目的，但手段達到外部軟體素質。所以我們必須從外部因素看。

其餘本章稽核。檢討這裡是最重要的外部因素外部質量因素其中心任務是搞物件軟體建設。正確性是首要素質。

如果乙個制度不應該做些什麼，這一切大約無論是否快，具有良好的使用者介面：弄。但這又談何容易。

即使是正確的第一步已經困難：我們必須能夠確定系統所需的精確形式，本身相當具有挑戰性的任務。辦法通常是有條件保證正確性。

嚴重軟體系統，甚至小到今天的水平，涉及眾多領域，也不可能保證其正確性的所有部件及處理效能單一的水平。反之，乙個層次的做法是必要的，每一層依靠較低的：在有條件的正確性、我們只擔心保證每一層的假設是正確的下級是否正確。

這是唯一現實技術它讓我們實現分離關注和集中在每個階段對有限的難題。你不能有效遏制了乙個高水平的語言十大綱領是正確的，除非你有能力承擔第十，實行正確編譯手。這並不意味著你的編譯器盲目信任、簡單地說，你的兩個組成部分單獨的問題：

編譯的正確性，四正確性你們節目相對語言的語義。在這本書中描述的方法，更是層層干預：軟體開發將依託圖書館重用部件，可用於很多不同的應用。

有條件的也適用此辦法：要保證圖書館正確，並單獨假設是正確的，該申請圖書館。許多醫生在面對問題的軟體正確性、測試和除錯思考。

我們可以更加雄心勃勃：我們將在以後的章節**了一些技巧，尤其是打字、武斷、為了幫助建立軟體從一開始就是正確的，而不是除錯成正確性。除錯和測試仍然必不可少，當然，作為手段雙重檢查結果。

2樓：網友

以下章節當前一套獲得的現代技術內部。

質量。我們不應該，然而，丟失全球性**的軌道；內部技術不是乙個末端在他們自己，但手段到達外在軟體質量。如此我們必須開始由看外在因素。剩餘這個章節審查他們。

external 因素回顧。

這最重要的外在質量因素，追求是主要任務。

物件導向的軟體建築。

正確性是頭等質量。如果系統不做什麼它應該做，一切對此- 是否它是快速的，有好的使用者介面。事態一點。

但這說得容易。第一步對正確性已經是困難的：

我們必須能指定系統要求以精確形式，單獨相當a富挑戰性任務。

方法為保證正確性通常將是有條件的。嚴肅的軟體系統，一小甚而乙個由今天標準，接觸在許多區域，它會是不可能保證它的正確性由應付所有組分和物產。

乙個唯一水平。反而，一種層狀方法是必要的，各層數依靠更低那些：

在對正確性的有條件方法，我們只擔心保證那各層數是正確的在假定，更低的水平是正確的。這是唯一現實技術，如同它達到關心的分離和讓我們集中在每個階段在問題乙個有界集。您無法有用地檢查節目在highlevel語言x 是正確的除非您能假設，編譯器在手貫徹x 正確地。

這不一定意味，您盲人信任編譯器，簡單地，您分離問題的二個組分：編譯器正確性，和您的節目的正確性相對語言的語義學。

在方法被描述在這本書裡，更加層數干預：軟體發展將依靠可再用的組分圖書館，也許被使用在許多不同的應用。

有條件方法並且將申請得這裡：我們應該保證，圖書館是改正並且，分開地，那應用是正確的承擔圖書館是。

許多實習者，當出席以軟體正確性的問題，認為關於測試和除錯。我們能是更加雄心勃勃的：在最新章節裡我們將探索一定數量的技術，特別是鍵入和斷言，意味幫助建立軟體那是正確的從一開始- 而不是除錯它入正確性。

除錯和測試依然是不可缺少，當然，作為將結果仔細檢查手段。