軟件工程師可信計(jì)算基礎(chǔ)基本信息

書(shū)????名 軟件工程師可信計(jì)算基礎(chǔ) 作????者 陸民燕、張虹
類????別 圖書(shū)>物理>電子>自動(dòng)化>電腦>程序設(shè)計(jì)>軟件工程師可信計(jì)算基礎(chǔ) 出版社 國(guó)防工業(yè)出版社
出版時(shí)間 2014年12月 頁(yè)????數(shù) 329 頁(yè)
定????價(jià) 78.00 開(kāi)????本 16 開(kāi)
裝????幀 平裝 ISBN 9787118100068

第一章 概述1

1. 1 可信性的元素 1

1. 1. 1 一個(gè)警示性的故事 1

1. 1. 2 為什么要研究可信性 3

1. 2 軟件工程師的角色 4

1. 3 對(duì)于計(jì)算機(jī)的依賴 6

1. 4 一些遺憾的失效 7

1. 4. 1 “阿麗亞娜冶V 火箭 7

1. 4. 2 大韓航空801 航班 8

1. 4. 3 火星氣候軌道飛行器 8

1. 4. 4 火星極地登陸器 9

1. 4. 5 其他重要的事故 9

1. 4. 6 如何考慮失效 10

1. 5 失效的后果 10

1. 5. 1 不明顯的失效后果 11

1. 5. 2 失效帶來(lái)的意外成本 11

1. 5. 3 后果的種類 12

1. 5. 4 確定失效后果 13

1. 6 對(duì)于可信性的需求 13

1. 7 系統(tǒng)和它們的可信性需求 14

1. 7. 1 關(guān)鍵系統(tǒng) 14

1. 7. 2 幫助構(gòu)建系統(tǒng)的系統(tǒng) 16

1. 7. 3 與其他系統(tǒng)交互的系統(tǒng) 17

1. 8 我們要去往何方"para" label-module="para">

1. 9 本書(shū)的組織結(jié)構(gòu) 18

習(xí)題 19

第二章 可信性需求 21

2. 1 為什么需要可信性需求 21

2. 2 可信性概念的演變過(guò)程 21

2. 3 術(shù)語(yǔ)的作用 23

2. 4 什么是系統(tǒng)"para" label-module="para">

2. 6 失效 27

2. 6. 1 服務(wù)失效的概念 27

2. 6. 2 服務(wù)失效的來(lái)源 28

2. 6. 3 需求和規(guī)格說(shuō)明的實(shí)踐觀點(diǎn) 30

2. 6. 4 服務(wù)失效的視角 30

2. 6. 5 告知用戶失效 31

2. 7 可信性及其屬性 32

2. 7. 1 可靠性 34

2. 7. 2 可用性 34

2. 7. 3 每次請(qǐng)求失效 37

2. 7. 4 安全性 37

2. 7. 5 機(jī)密性 39

2. 7. 6 完整性 40

2. 7. 7 維修性 41

2. 7. 8 有關(guān)保密安全性的詞匯 41

2. 7. 9 信任的概念 41

2. 8 系統(tǒng)、軟件和可信性 42

2. 8. 1 計(jì)算機(jī)既非不安全也非不保密安全 42

2. 8. 2 為什么要考慮應(yīng)用系統(tǒng)的可信性"para" label-module="para">

2. 8. 3 應(yīng)用系統(tǒng)可信性和計(jì)算機(jī) 43

2. 9 定義可信性需求 45

2. 9. 1 第一個(gè)例子:汽車巡航控制器 46

2. 9. 2 第二個(gè)例子:起搏器 47

2. 10 低至合理可行ALARP 49

2. 10. 1 對(duì)于ALARP 的需求 49

2. 10. 2 ALARP 概念 50

2. 10. 3 ALARP 胡蘿卜圖 51

習(xí)題 52

第三章 錯(cuò)誤、故障和危險(xiǎn) 56

3. 1 錯(cuò)誤 56

3. 2 錯(cuò)誤狀態(tài)的復(fù)雜性 57

3. 3 故障和可信性 58

3. 3. 1 故障的定義 58

3. 3. 2 識(shí)別故障 59

3. 3. 3 故障類型 60

3. 3. 4 實(shí)現(xiàn)可信性 60

3. 4 故障的表現(xiàn) 60

3. 5 退化故障 61

3. 5. 1 退化故障概率———浴盆曲線 62

3. 5. 2 退化故障的例子———硬盤 62

3. 6 設(shè)計(jì)故障 64

3. 7 拜占庭故障 65

3. 7. 1 概念 65

3. 7. 2 拜占庭故障的例子 66

3. 7. 3 拜占庭故障的微妙之處 67

3. 8 組件失效語(yǔ)義 68

3. 8. 3 磁盤驅(qū)動(dòng)器的例子 68

3. 8. 2 實(shí)現(xiàn)可預(yù)測(cè)的失效語(yǔ)義 68

3. 8. 3 軟件失效語(yǔ)義 69

3. 9 可信性的基本原理 69

3. 9. 1 故障避免 70

3. 9. 2 故障排除 71

3. 9. 3 容錯(cuò) 71

3. 9. 4 故障預(yù)測(cè) 71

3. 10 預(yù)期故障 71

3. 11 危險(xiǎn) 72

3. 11. 1 危險(xiǎn)的概念 72

3. 11. 2 危險(xiǎn)識(shí)別 73

3. 11. 3 危險(xiǎn)和故障 74

3. 12 構(gòu)造可信系統(tǒng) 74

習(xí)題 76

第四章 可信性分析 78

4. 1 預(yù)期故障 78

4. 2 泛化危險(xiǎn)的概念 79

4. 3 故障樹(shù)分析 79

4. 3. 1 故障樹(shù)的基本概念 80

4. 3. 2 基本事件和中間事件 80

4. 3. 3 故障樹(shù)的檢查 82

4. 3. 4 故障樹(shù)的概率分析 82

4. 3. 5 軟件和故障樹(shù) 82

4. 3. 6 故障樹(shù)示例 84

4. 3. 7 深度防御 86

4. 3. 8 故障樹(shù)的其他應(yīng)用 88

4. 4 失效模式、影響和嚴(yán)酷度分析 88

4. 4. 1 FMECA 的概念 88

4. 5 危險(xiǎn)和可操作性分析 90

4. 5. 1 HazOp 的概念 90

4. 5. 2 基本的HazOp 過(guò)程 91

4. 5. 3 HazOp 和計(jì)算機(jī)系統(tǒng) 91

習(xí)題 92

第五章 故障處理 94

5. 1 故障及其處理 94

5. 2 故障避免 95

5. 2. 1 退化故障 95

5. 2. 2 設(shè)計(jì)故障 95

5. 3 故障消除 96

5. 3. 1 退化故障 96

5. 3. 2 設(shè)計(jì)故障 96

5. 4 容錯(cuò) 97

5. 4. 1 熟悉容錯(cuò) 97

5. 4. 2 定義 97

5. 4. 3 容錯(cuò)的語(yǔ)義 99

5. 4. 4 容錯(cuò)的階段 99

5. 4. 5 容錯(cuò)系統(tǒng)的一個(gè)例子 100

5. 5 故障預(yù)測(cè) 102

5. 5. 1 故障預(yù)測(cè)過(guò)程 102

5. 5. 2 運(yùn)行環(huán)境 102

5. 5. 3 退化故障 103

5. 5. 4 設(shè)計(jì)故障 103

5. 6 四種故障處理方法的應(yīng)用 104

5. 7 拜占庭故障處理 105

5. 7. 1 拜占庭將軍 105

5. 7. 2 拜占庭將軍和計(jì)算機(jī) 106

5. 7. 3 不可能性結(jié)果 108

5. 7. 4 拜占庭將軍問(wèn)題的解決方案 109

習(xí)題 110

第六章 退化故障和軟件 112

6. 1 對(duì)于軟件的影響 112

6. 2 冗余 113

6. 2. 1 冗余和備份 113

6. 2. 2 大規(guī)模部件冗余和小規(guī)模部件冗余 115

6. 2. 3 靜態(tài)冗余和動(dòng)態(tài)冗余 116

6. 3 冗余結(jié)構(gòu) 117

6. 3. 1 雙冗余 118

6. 3. 2 可切換雙冗余 120

6. 3. 3 N -模塊冗余 125

6. 3. 4 混合冗余 126

6. 4 量化冗余的效益 128

6. 4. 1 統(tǒng)計(jì)獨(dú)立性 128

6. 4. 2 雙冗余結(jié)構(gòu) 129

6. 5 分布式系統(tǒng)和失效停止計(jì)算機(jī) 129

6. 5. 1 分布式系統(tǒng) 129

6. 5. 2 計(jì)算機(jī)的失效語(yǔ)義 130

6. 5. 3 分布式系統(tǒng)的開(kāi)發(fā) 131

6. 5. 4 失效停止概念 131

6. 5. 5 失效停止計(jì)算機(jī)的實(shí)現(xiàn) 132

6. 5. 6 失效停止計(jì)算機(jī)的軟件編程 133

習(xí)題 135

第七章 軟件可信性 137

7. 1 故障和軟件生命周期 137

7. 1. 1 軟件及其脆弱性 138

7. 1. 2 軟件故障處理 139

7. 1. 3 軟件生命周期 139

7. 1. 4 驗(yàn)證與確認(rèn) 140

7. 2 形式化技術(shù) 141

7. 2. 1 軟件工程中的分析 141

7. 2. 2 形式化需求規(guī)格說(shuō)明 143

7. 2. 3 形式化驗(yàn)證 144

7. 2. 4 “正確性冶這一術(shù)語(yǔ)的使用 144

7. 3 通過(guò)模型檢驗(yàn)進(jìn)行驗(yàn)證 144

7. 3. 1 模型檢驗(yàn)的作用 144

7. 3. 2 分析模型 145

7. 3. 3 使用模型檢測(cè)器 146

7. 4 通過(guò)構(gòu)造獲得正確性 147

7. 5 通過(guò)構(gòu)造獲得正確性的方法 147

7. 6 通過(guò)構(gòu)造獲得正確性———綜合 149

7. 6. 1 從形式化需求規(guī)格說(shuō)明生成代碼 149

7. 6. 2 基于模型開(kāi)發(fā)的優(yōu)點(diǎn) 150

7. 6. 3 基于模型開(kāi)發(fā)的系統(tǒng)實(shí)例 151

7. 6. 4 Mathworks Simulink 襅 152

7. 7 通過(guò)構(gòu)造獲得正確性———精化 153

7. 8 軟件故障避免 154

7. 8. 1 嚴(yán)格的開(kāi)發(fā)過(guò)程 154

7. 8. 2 恰當(dāng)?shù)姆?hào) 156

7. 8. 3 適用所有產(chǎn)品的綜合標(biāo)準(zhǔn) 156

7. 8. 4 支持工具 157

7. 8. 5 受到適當(dāng)培訓(xùn)的員工 157

7. 8. 6 形式化技術(shù) 157

7. 9 軟件故障消除 158

7. 9. 1靜態(tài)分析 158

7. 9. 2 動(dòng)態(tài)分析 159

7. 9. 3 消除故障———根源分析 160

7. 10 管理軟件故障避免和故障消除 161

7. 10. 1 故障免除的屬性 161

7. 11 有關(guān)軟件可信性的誤解 163

習(xí)題 165

第八章 軟件需求規(guī)格說(shuō)明中的故障避免 167

8. 1 需求規(guī)格說(shuō)明的作用 167

8. 2 自然語(yǔ)言的問(wèn)題 168

8. 3 需求規(guī)格說(shuō)明的問(wèn)題 169

8. 3. 1 需求規(guī)格說(shuō)明的缺陷 169

8. 3. 2 需求規(guī)格說(shuō)明的演化 169

8. 4 形式化語(yǔ)言 171

8. 4. 1 形式化句法和語(yǔ)義 171

8. 4. 2 形式化語(yǔ)言的好處 172

8. 4. 3 形式化語(yǔ)言的格式 174

8. 4. 4 形式化語(yǔ)言的類型 175

8. 4. 5 離散數(shù)學(xué)和形式化需求規(guī)格說(shuō)明 175

8. 4. 6 操作前后的狀態(tài) 176

8. 4. 7 一個(gè)簡(jiǎn)單的需求規(guī)格說(shuō)明 176

8. 5 基于模型的需求規(guī)格說(shuō)明 177

8. 5. 1 使用基于模型的需求規(guī)格說(shuō)明 178

8. 6 聲明性語(yǔ)言Z 179

8. 6. 1 集合 180

8. 6. 2 命題和謂詞 181

8. 6. 3 量詞 182

8. 6. 4 叉積 183

8. 6. 5 關(guān)系、序列和函數(shù) 183

8. 6. 6 模式 184

8. 6. 7 模式演算 185

8. 7 一個(gè)簡(jiǎn)單的例子 185

8. 8 一個(gè)詳細(xì)的例子 187

8. 8. 1 例子版本1 187

8. 8. 2 例子版本2 188

8. 8. 3 簡(jiǎn)單例子版本3 190

8. 8. 4 簡(jiǎn)單例子版本4 191

8. 9 形式化需求規(guī)格說(shuō)明開(kāi)發(fā)概述 192

習(xí)題 193

第九章 軟件實(shí)現(xiàn)中的故障避免 196

9. 1 軟件實(shí)現(xiàn) 196

9. 1. 1 軟件實(shí)現(xiàn)的工具支持 196

9. 1. 2 開(kāi)發(fā)一個(gè)軟件實(shí)現(xiàn) 197

9. 1. 3 軟件哪里出錯(cuò)了"para" label-module="para">

9. 2 編程語(yǔ)言 199

9. 2. 1 C 語(yǔ)言 200

9. 3 Ada 語(yǔ)言概述 201

9. 3. 1 Ada 語(yǔ)言的發(fā)明動(dòng)機(jī) 201

9. 3. 2 基本特性 202

9. 3. 3 包 205

9. 3. 4 并發(fā)和實(shí)時(shí)編程 205

9. 3. 5 分離式編譯 205

9. 3. 6 異常 206

9. 4 編程標(biāo)準(zhǔn) 206

9. 4. 1 編程標(biāo)準(zhǔn)和編程語(yǔ)言 206

9. 4. 2 編程標(biāo)準(zhǔn)和故障避免 207

9. 5 通過(guò)構(gòu)造獲得正確性———SPARK 209

9. 5. 1 SPARK 開(kāi)發(fā)的概念 209

9. 5. 2 SPARK Ada 子集 211

9. 5. 3 SPARK 標(biāo)注 212

9. 5. 4 核心標(biāo)注 213

9. 5. 5 證明性標(biāo)注 215

9. 5. 6 循環(huán)不變量 217

9. 5. 7 SPARK 工具 220

習(xí)題 221

第十章 軟件故障消除 224

10. 1 為什么要故障消除 224

10. 2 審查 225

10. 2. 1 人工產(chǎn)品和缺陷 226

10. 2. 2 Fagan 審查 227

10. 2. 3 有效的評(píng)審 229

10. 2. 4 階段審查 230

10. 3 測(cè)試 233

10. 3. 1窮舉測(cè)試233

10. 3. 2 測(cè)試的作用 234

10. 3. 3 測(cè)試過(guò)程 235

10. 3. 4 軟件形式 235

10. 3. 5 輸出檢查 236

10. 3. 6 測(cè)試充分性 237

10. 3. 7 修改條件判斷覆蓋 239

10. 3. 8 測(cè)試自動(dòng)化 240

10. 3. 9 實(shí)時(shí)系統(tǒng) 241

習(xí)題 242

第十一章 軟件容錯(cuò) 245

11. 1 遭受設(shè)計(jì)故障的部件 245

11. 2 容錯(cuò)設(shè)計(jì)的有關(guān)問(wèn)題 246

11. 2. 1 容錯(cuò)設(shè)計(jì)的難點(diǎn) 246

11. 2. 2 自愈系統(tǒng) 248

11. 2. 3 錯(cuò)誤檢測(cè) 248

11. 2. 4 向前和向后錯(cuò)誤恢復(fù) 249

11. 3 軟件復(fù)制 250

11. 4 設(shè)計(jì)多樣性 251

11. 4. 1 N 版本系統(tǒng) 252

11. 4. 2 恢復(fù)塊 254

11. 4. 3 交流和對(duì)話 255

11. 4. 4 度量設(shè)計(jì)多樣性 256

11. 4. 5 比較檢查 257

11. 4. 6 一致性比較問(wèn)題 258

11. 5 數(shù)據(jù)多樣性 259

11. 5. 1 故障和數(shù)據(jù) 259

11. 5. 2 數(shù)據(jù)多樣性的一個(gè)特殊案例 260

11. 5. 3 泛化的數(shù)據(jù)多樣性 261

11. 5. 4 數(shù)據(jù)再表達(dá) 261

11. 5. 5 N -拷貝執(zhí)行和表決 262

11. 6 定向容錯(cuò) 263

11. 6. 1 安全內(nèi)核 264

11. 6. 2 應(yīng)用隔離 265

11. 6. 3 看門狗定時(shí)器 267

11. 6. 4 異常 267

11. 6. 5 執(zhí)行時(shí)間檢查 268

習(xí)題 270

第十二章 可信性評(píng)價(jià) 272

12. 1 評(píng)價(jià)方法 272

12. 2 定量評(píng)價(jià) 273

12. 2. 1 基本方法 273

12. 2. 2 壽命試驗(yàn) 275

12. 2. 3 復(fù)合建模 276

12. 2. 4 定量評(píng)價(jià)的難點(diǎn) 276

12. 3 法定標(biāo)準(zhǔn) 277

12. 3. 1 法定標(biāo)準(zhǔn)的目標(biāo) 278

12. 3. 2 法定標(biāo)準(zhǔn)例子———RTCA/ DO -178B 279

12. 3. 3 法定標(biāo)準(zhǔn)的優(yōu)點(diǎn) 283

12. 3. 4 法定標(biāo)準(zhǔn)的缺點(diǎn) 283

12. 4 嚴(yán)格的論證 284

12. 4. 1 論證的概念 284

12. 4. 2 安全性舉證 285

12. 4. 3 基于安全性舉證的條例 286

12. 4. 4 構(gòu)建安全性舉證 287

12. 4. 5 一個(gè)簡(jiǎn)單的例子 288

12. 4. 6 目標(biāo)構(gòu)建符號(hào)GSN 291

12. 4. 7 軟件及其論證 292

12. 4. 8 證據(jù)類型 294

12. 4. 9 安全性舉證模式 295

12. 5 論證的適用性 296

習(xí)題 297

參考文獻(xiàn) 299

索引 307

　" 2100433B

軟件工程師可信計(jì)算基礎(chǔ)造價(jià)信息

市場(chǎng)價(jià) 信息價(jià) 詢價(jià)
材料名稱 規(guī)格/型號(hào) 市場(chǎng)價(jià)
（除稅）		 工程建議價(jià)
（除稅）		 行情 品牌 單位 稅率 供應(yīng)商 報(bào)價(jià)日期
工程師站 內(nèi)存:16GB;硬盤:512GB+2T;臺(tái)式圖形工作站:i7-10700 P620 2G獨(dú)顯 3年上門服務(wù) 21.8寸顯示器 查看價(jià)格 查看價(jià)格

戴爾

 臺(tái) 13% 廣東嶠宇科技有限公司
軟件工程 系統(tǒng)工程深化、設(shè)計(jì)等 查看價(jià)格 查看價(jià)格

套 13% 北京易艾斯德科技有限公司
基礎(chǔ)軟件 品種:基礎(chǔ)軟件;廠家編號(hào):88032TXS;型號(hào):ES0SMS277700;銷售劃分:A; 查看價(jià)格 查看價(jià)格

華為

 臺(tái) 13% 北京華晟榮信科技有限公司
基礎(chǔ)軟件 品種:基礎(chǔ)軟件;廠家編號(hào):88032YQF;型號(hào):ES0SMS287700;銷售劃分:A; 查看價(jià)格 查看價(jià)格

華為

 臺(tái) 13% 北京華晟榮信科技有限公司
基礎(chǔ)軟件 品種:基礎(chǔ)軟件;廠家編號(hào):88033KVK;型號(hào):ES0SMS297700;銷售劃分:A; 查看價(jià)格 查看價(jià)格

華為

 臺(tái) 13% 北京華晟榮信科技有限公司
基礎(chǔ)軟件 品種:基礎(chǔ)軟件;廠家編號(hào):88033PLP;型號(hào):ES0SMS2A7700;銷售劃分:A; 查看價(jià)格 查看價(jià)格

華為

 臺(tái) 13% 北京華晟榮信科技有限公司
基礎(chǔ)查詢分析服務(wù)軟件 視圖;本省級(jí);項(xiàng)目一;定制化數(shù)據(jù)服務(wù)開(kāi)發(fā);定制業(yè)務(wù)封裝服務(wù);視圖-基礎(chǔ)查詢分析服務(wù)新一代公安信息網(wǎng) 查看價(jià)格 查看價(jià)格

L.JOY

 個(gè) 13% 南京埃爾喬億自控設(shè)備有限公司
大數(shù)據(jù)基礎(chǔ)平臺(tái) 數(shù)據(jù)接入管理、數(shù)據(jù)資源管理、數(shù)據(jù)接口管理、數(shù)據(jù)服務(wù)管理、搜索查詢服務(wù)等功能 查看價(jià)格 查看價(jià)格

套 13% 鄭州信大捷安信息技術(shù)股份有限公司
材料名稱 規(guī)格/型號(hào) 除稅
信息價(jià)		 含稅
信息價(jià)		 行情 品牌 單位 稅率 地區(qū)/時(shí)間
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2022年3季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2022年2季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2021年2季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2019年2季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2019年1季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2022年1季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)元級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2022年1季度信息價(jià)
網(wǎng)管系統(tǒng)(含硬、軟件) 網(wǎng)絡(luò)級(jí) 查看價(jià)格 查看價(jià)格

套 廣東2021年4季度信息價(jià)
材料名稱 規(guī)格/需求量 報(bào)價(jià)數(shù) 最新報(bào)價(jià)
（元）		 供應(yīng)商 報(bào)價(jià)地區(qū) 最新報(bào)價(jià)時(shí)間
工程師站 工程師站|1套 3 查看價(jià)格 河南德?tīng)N電子科技有限公司 全國(guó)   2022-09-30
工程師站軟件 , W/O SW AND DOCU. LICENSE KEY ON USB STICK, CLASS A, 2 LANGUAGES (E, C), EXECUTABLE UNDER WIN7ULT|1套 1 查看價(jià)格 上海湘融自動(dòng)化科技有限公司 全國(guó)   2021-01-13
工程師站 1.名稱:工程師站2.規(guī)格、型號(hào):工控型,配置29"液晶顯示器,包含打印機(jī) 含正版操作系統(tǒng)及應(yīng)用軟件3.其他:滿足設(shè)計(jì)、相關(guān)圖集、標(biāo)準(zhǔn)及招標(biāo)技術(shù)要求|1套 3 查看價(jià)格 北京勤瑞恒科技有限公司 全國(guó)   2021-07-29
工程師站 1.名稱:工程師站2.規(guī)格、型號(hào):工控型,配置29"液晶顯示器,包含打印機(jī) 含正版操作系統(tǒng)及應(yīng)用軟件3.其他:滿足設(shè)計(jì)、相關(guān)圖集、標(biāo)準(zhǔn)及招標(biāo)技術(shù)要求|1套 3 查看價(jià)格 北京勤瑞恒科技有限公司 全國(guó)   2021-07-02
工程師站 筆記本電腦,CPU 不低于 2GHz 2核64位,內(nèi)存不低于4G,硬盤不低于500GB(windows8 專業(yè)版),安裝RSlogix5000軟件、RSLinx Classic通信軟件、冗余模塊配置工具(RMCT)|1臺(tái) 1 查看價(jià)格 廣州賽瑞電子有限公司 廣東   2021-05-11
工程師計(jì)算機(jī) -|1臺(tái) 3 查看價(jià)格 上海禹翰信息科技有限公司 四川   2019-08-08
工程師計(jì)算機(jī) 酷睿雙核,3.2G,19"液晶|1臺(tái) 1 查看價(jià)格 成 都 博 迪 奧 電 子 科 技 有 限 公 司 四川  成都市 2012-01-11
工程師站 i5 3 2G 工控機(jī) 液晶22 i5 3 2G|1套 3 查看價(jià)格 北京勤瑞恒科技有限公司 四川   2022-09-27

本書(shū)為美國(guó)弗吉尼亞大學(xué)John Knight 教授的最新著作,是計(jì)算機(jī)系統(tǒng)可信性領(lǐng)域的前沿著作。書(shū)中提出了一套完整的計(jì)算機(jī)系統(tǒng)可信性概念和術(shù)語(yǔ)體系,介紹了可信性需求、可信性分析、可信性評(píng)估的基本方法,并重點(diǎn)對(duì)錯(cuò)誤、故障、威脅等相關(guān)概念進(jìn)行了闡述和區(qū)分,詳細(xì)討論了故障避免、故障消除、容錯(cuò)和故障預(yù)測(cè)這四種故障處理措施,并配以大量的案例進(jìn)行說(shuō)明和分析。

本書(shū)不僅詳細(xì)介紹了計(jì)算機(jī)系統(tǒng)可信性領(lǐng)域的相關(guān)概念、技術(shù)和方法, 完整得提出了一套計(jì)算機(jī)系統(tǒng)可信性術(shù)語(yǔ)體系,還凝聚了作者多年從事軟件可信性研究工作所獲得的寶貴經(jīng)驗(yàn),對(duì)于國(guó)內(nèi)正在興起的可信性研究具有重要的指導(dǎo)意義和參考價(jià)值。

軟件工程師可信計(jì)算基礎(chǔ)常見(jiàn)問(wèn)題

  • 軟件構(gòu)架師與軟件工程師的區(qū)別

    軟件架構(gòu)師是軟件行業(yè)中一種新興職業(yè)，工作職責(zé)是在一個(gè)軟件項(xiàng)目開(kāi)發(fā)過(guò)程中，將客戶的需求轉(zhuǎn)換為規(guī)范的開(kāi)發(fā)計(jì)劃及文本，并制定這個(gè)項(xiàng)目的總體架構(gòu)，指導(dǎo)整個(gè)開(kāi)發(fā)團(tuán)隊(duì)完成這個(gè)計(jì)劃。主導(dǎo)系統(tǒng)全局分析設(shè)計(jì)和實(shí)施、負(fù)責(zé)...

  • 關(guān)于軟件工程師職稱

    計(jì)算機(jī)技術(shù)與軟件技術(shù)資格（水平）考試專業(yè)類別、資格名稱和級(jí)別對(duì)應(yīng)表 計(jì)算機(jī)軟件 計(jì)算機(jī)網(wǎng)絡(luò) 計(jì)算機(jī)應(yīng)用技術(shù) 信息系統(tǒng) 信息服務(wù)高級(jí)資格 信息系統(tǒng)項(xiàng)目管理師系統(tǒng)分析師（原系統(tǒng)分析員）系統(tǒng)架構(gòu)設(shè)計(jì)師網(wǎng)絡(luò)規(guī)...

  • 網(wǎng)絡(luò)工程師和軟件工程師的前景，到底誰(shuí)更好？

    前景： 隨著我國(guó)信息化建設(shè)的開(kāi)展,以及國(guó)家各項(xiàng)相關(guān)政策的下達(dá),使得全國(guó)各地的信息化建設(shè)如火如荼,出現(xiàn)了大量的信息化網(wǎng)絡(luò)人才的缺口,而我國(guó)信息化人才培養(yǎng)還處于發(fā)展階段,導(dǎo)致社會(huì)實(shí)際需求人才基數(shù)遠(yuǎn)遠(yuǎn)大于網(wǎng)...

軟件工程師可信計(jì)算基礎(chǔ)文獻(xiàn)

軟件工程師KPI表 軟件工程師KPI表

格式：pdf

大小：144KB

頁(yè)數(shù)： 10頁(yè)

評(píng)分： 4.5

序號(hào) 計(jì)劃完成時(shí)間 實(shí)際完成時(shí)間 工作量 評(píng)分標(biāo)準(zhǔn) 2 3 4 5 6 7 平均 個(gè)人承擔(dān)任務(wù)（ 20 %） 員工自評(píng) 部門主管考評(píng) ①實(shí)際完成時(shí)間滯 后超過(guò) 50%;(0分) ②實(shí)際完成時(shí)間滯 后50%~10%;(50-90 分) ③按時(shí)的完成該項(xiàng) 任務(wù) ;(95 分) ④提前出色的完成 該項(xiàng)任務(wù) .(100 分) 考核期間： 年 月 日 至 年 月 日崗位：軟件工程師姓名： 部門： 軟件工程師績(jī)效考核表 序號(hào) 描述 分?jǐn)?shù) 1 完整性 文檔格式滿足規(guī)范或 標(biāo)準(zhǔn)的程度以及文檔 內(nèi)容涵蓋范圍滿足規(guī) 范或標(biāo)準(zhǔn)的程度 計(jì)算公式： 內(nèi)容覆蓋率 =已包含 要求條目數(shù)量 /規(guī)范 要求涵蓋數(shù)量 10 2 可追溯性 文檔版本變更控制的 程度 10 3 可讀性 文檔可被同行（專業(yè) 知識(shí)結(jié)構(gòu)及水平相近 的人）有效理解的程 度 20 工作完成質(zhì)量 (25%) 評(píng)分標(biāo)準(zhǔn) 員工自評(píng) 部門主管考評(píng) 文檔 ①文檔編寫格

立即下載
軟件工程師崗位職責(zé)(精) 軟件工程師崗位職責(zé)(精)

格式：pdf

大?。?span id="0mx9pev" class="single-tag-height">144KB

頁(yè)數(shù)： 8頁(yè)

評(píng)分： 4.7

軟件工程師崗位職責(zé) 1.軟件的程序設(shè)計(jì)與代碼編寫 2.有關(guān)技術(shù)方案、文檔的編寫 3.軟件單元的測(cè)試 1、根據(jù)項(xiàng)目具體要求 ,承擔(dān)開(kāi)發(fā)任務(wù) ,按計(jì)劃完成任務(wù)目標(biāo) 2、配合系統(tǒng)分析人員完成軟件系統(tǒng)及模塊的需求調(diào)研與需求分析 3、配合系統(tǒng)分析人員完成軟件系統(tǒng)及模塊的設(shè)計(jì) 4、獨(dú)立完成軟件系統(tǒng)及模塊的編碼 5、協(xié)助測(cè)試人員完成軟件系統(tǒng)及模塊的測(cè)試 6、負(fù)責(zé)編制與項(xiàng)目相關(guān)的技術(shù)文檔 7、有 OA 及電子政務(wù)軟件開(kāi)發(fā)經(jīng)驗(yàn)或相關(guān)背景優(yōu)先考慮 ; 1、根據(jù)項(xiàng)目具體要求 ,承擔(dān)大型網(wǎng)站設(shè)計(jì)與開(kāi)發(fā) 2、部分軟件功能模塊設(shè)計(jì)和軟件界面美化 3、協(xié)助測(cè)試試人員完成軟件系統(tǒng)及模塊的測(cè)試 系統(tǒng)分析員崗位職責(zé) : 1、負(fù)責(zé)項(xiàng)目開(kāi)發(fā)作業(yè)程序的執(zhí)行 ,嚴(yán)格執(zhí)行開(kāi)發(fā)設(shè)計(jì)工作規(guī)范 ; 2、負(fù)責(zé)進(jìn)行需求調(diào)研分析 ,制定項(xiàng)目需求規(guī)格說(shuō)明書(shū) ; 3、負(fù)責(zé)產(chǎn)品詳細(xì)設(shè)計(jì)方案和具體設(shè)計(jì)的制定、審核 ; 4、負(fù)責(zé)具體開(kāi)發(fā)工作 ,解

立即下載

1990年-2006年　江陰鑫達(dá)電器有限公司（知名品牌生產(chǎn)基地）

2006年-2008年　江陰長(zhǎng)榮科技有限公司（知名品牌生產(chǎn)基地）

2008年5月12日　創(chuàng)立上海愛(ài)可信電氣有限公司（上海愛(ài)可信電子科技有限公司）

2009年3月28日　創(chuàng)立江蘇愛(ài)可信電氣有限公司（江陰愛(ài)可信儀表電器有限公司）

查看詳情

軟件工程師是什么相信很多人都會(huì)存在疑問(wèn)，今天北大青鳥(niǎo)旗艦總校的老師就給大家簡(jiǎn)單介紹一下吧：

和軟件有關(guān)的專業(yè)稱為“軟件工程”。其實(shí)很多人對(duì)這個(gè)專業(yè)還是有一些誤解的，包括我在沒(méi)有進(jìn)入這個(gè)行業(yè)之前，只是以為這個(gè)專業(yè)知識(shí)學(xué)如怎么設(shè)計(jì)軟件。

其實(shí)，“軟件工程”并不注重于“軟件”而注重于“工程”，引用IEEE（美國(guó)電氣和電子工程師協(xié)會(huì)）的定義，是將嚴(yán)格約束的、可量化的、系統(tǒng)化的方法應(yīng)用于軟件的開(kāi)發(fā)、運(yùn)行和維護(hù)，即將工程化應(yīng)用于軟件。結(jié)合在網(wǎng)絡(luò)上各方的說(shuō)法，簡(jiǎn)單來(lái)說(shuō)，軟件工程專業(yè)目標(biāo)就是響應(yīng)信息化發(fā)展需要，培養(yǎng)具有計(jì)算機(jī)和信息知識(shí)與技術(shù)的能對(duì)軟件進(jìn)行分析、設(shè)計(jì)、開(kāi)發(fā)和測(cè)試的人才。把工程化大量，高效生產(chǎn)的思想應(yīng)用于軟件生產(chǎn)，滿足社會(huì)日益增長(zhǎng)的對(duì)優(yōu)秀人性化的軟件需求。

軟件工程專業(yè)涉及了計(jì)算機(jī)科學(xué)和管理學(xué)，包括：離散數(shù)學(xué)、計(jì)算機(jī)概論（對(duì)計(jì)算機(jī)的構(gòu)造原理乃至于整個(gè)計(jì)算機(jī)領(lǐng)域的介紹）、計(jì)算機(jī)語(yǔ)言（c++、c、java等）、數(shù)據(jù)庫(kù)原理、開(kāi)發(fā)測(cè)試方法、項(xiàng)目管理等。但是對(duì)于專業(yè)課程，畢竟計(jì)算機(jī)編程思維與我們一般的思維不同，所以如果對(duì)于計(jì)算機(jī)毫無(wú)基礎(chǔ)的同學(xué)來(lái)說(shuō)，開(kāi)始的學(xué)習(xí)階段會(huì)比較吃力，往往會(huì)出現(xiàn)頭昏腦脹不知如何入手的情況，但是多花點(diǎn)時(shí)間和心思，耐心學(xué)習(xí)下去，不會(huì)比別人差。再通過(guò)平時(shí)多看相關(guān)的書(shū)籍，更加深入了解計(jì)算機(jī)的構(gòu)造和原理，還有多動(dòng)手實(shí)踐，積累經(jīng)驗(yàn)。這事是我們學(xué)校和傳統(tǒng)大學(xué)教育方式的不同支出。技術(shù)是建立在扎實(shí)深厚的理論基礎(chǔ)之上的，而不是單純地學(xué)會(huì)如何寫代碼，才能真正做到資源整合，算法優(yōu)化，才能設(shè)計(jì)出好程序。

工程師寫軟件我們都會(huì)覺(jué)得很神奇其實(shí)過(guò)程是很枯燥的。有時(shí)候，一個(gè)軟件團(tuán)隊(duì)合作都需要好幾年時(shí)間才開(kāi)發(fā)出來(lái)，往后還要更多時(shí)間去維護(hù)和更新。而且也別看一個(gè)軟件的界面那么美能實(shí)現(xiàn)很多功能，其實(shí)其底層數(shù)據(jù)的編寫一點(diǎn)也不神奇，都是利用各種一些極其普通的算法疊加嵌套而成的。但同時(shí)，這也是一種設(shè)計(jì)。利用這些枯燥的代碼創(chuàng)新，設(shè)計(jì)出合理，節(jié)省資源空間，人性化的軟件，滿足客戶需求，是一件值得驕傲的事情。選擇了軟件工程，如果能做好面對(duì)枯燥的準(zhǔn)備，卻又能從中找到樂(lè)趣的話，也是一件相當(dāng)不錯(cuò)的事。

對(duì)于這一專業(yè)的就業(yè)前景，應(yīng)該說(shuō)，在中國(guó)的話，還是相當(dāng)有發(fā)展?jié)摿Φ?。畢竟目前中?guó)的專業(yè)軟件人才還是相當(dāng)少，而中國(guó)的信息發(fā)展又即將邁進(jìn)新臺(tái)階，至少在未來(lái)10年以內(nèi)，對(duì)軟件工程開(kāi)發(fā)的人才需求量非常大。而且，軟件工程專業(yè)的畢業(yè)生可選擇的職業(yè)范圍比較多。比較典型的有架構(gòu)師（條件最好）、項(xiàng)目經(jīng)理、軟件工程師。而且，一般來(lái)說(shuō)，這些行業(yè)的薪水都不算低。很多學(xué)員畢業(yè)每月薪水為5000-6000元，一年以后每月7000-9000元，也有很多月薪超過(guò)一萬(wàn)的水平。想要達(dá)到這一薪水水平，前提是要基礎(chǔ)扎實(shí)，刻苦耐勞。計(jì)算機(jī)科學(xué)更新?lián)Q代非常快，只有緊跟潮流發(fā)展的步伐才能迎合市場(chǎng)需求。只有具有扎實(shí)功底及豐富經(jīng)驗(yàn)或者把工作重心轉(zhuǎn)移為管理的軟件人才能站穩(wěn)腳跟，不至于被淘汰。同時(shí)，也要做好準(zhǔn)備，找工作并不是很容易和順利，只有真的具有技術(shù)和能力的人才會(huì)被大公司青睞。

通過(guò)簡(jiǎn)單介紹相信大家也都知道，軟件工程是具有非常大潛力的行業(yè)，但是也是需要花頭腦和時(shí)間進(jìn)行鉆研的行業(yè)。簡(jiǎn)單說(shuō)它是一門專業(yè)技術(shù)，深層次將它也是一門藝術(shù)。只有真正熱門投入其中才能感受其帶來(lái)的樂(lè)趣。

查看詳情

軟件工程師是從事軟件開(kāi)發(fā)相關(guān)工作的人員的統(tǒng)稱。它是一個(gè)廣義的概念，包括軟件設(shè)計(jì)人員、軟件架構(gòu)人員、軟件工程管理人員、程序員等一系列崗位。這些崗位的分工不同，職位和/或級(jí)別不同，但工作內(nèi)容都是與軟件開(kāi)發(fā)生產(chǎn)相關(guān)的。軟件工程師是IT行業(yè)需求量最大的職位，穩(wěn)居IT行業(yè)職位需求TOP10的第一位（第二位是高級(jí)軟件工程師）。

軟件工程師的技術(shù)要求是比較全面的，除了最基礎(chǔ)的編程語(yǔ)言（C語(yǔ)言/C /JAVA等）、數(shù)據(jù)庫(kù)技術(shù)（SQL/ORACLE/DB2等）、.NET平臺(tái)技術(shù)、C#、C/S B/S程序開(kāi)發(fā)，還有諸多如JAVA SCRIPT、AJAX、HIBERNATE、SPRING、J2EE、WEB SERVICE、STRUCTS等前沿技術(shù)。除此之外，關(guān)于網(wǎng)絡(luò)工程和軟件測(cè)試的其他技術(shù)也要有所涉獵，以利于操控全局。

軟件工程師可謂是軟件項(xiàng)目開(kāi)發(fā)的掌舵者。一名優(yōu)秀的軟件工程師應(yīng)當(dāng)具有較強(qiáng)的邏輯思維能力，對(duì)于技術(shù)的發(fā)展有敏銳的嗅覺(jué)。雖然要求技術(shù)全面，但無(wú)須偏執(zhí)于門門技術(shù)都精通，任何軟件工程師都有自己的技術(shù)特長(zhǎng)和偏向，對(duì)于自己手中的技術(shù)，可有精通-掌握-熟悉-了解之分，根據(jù)工作需要和職業(yè)發(fā)展的具體情況來(lái)劃分。

查看詳情
軟件工程師可信計(jì)算基礎(chǔ)相關(guān)推薦
  • 相關(guān)百科
  • 相關(guān)知識(shí)
  • 相關(guān)專欄

最新詞條

安徽省政采項(xiàng)目管理咨詢有限公司 數(shù)字景楓科技發(fā)展（南京）有限公司 懷化市人民政府電子政務(wù)管理辦公室 河北省高速公路京德臨時(shí)籌建處 中石化華東石油工程有限公司工程技術(shù)分公司 手持無(wú)線POS機(jī) 廣東合正采購(gòu)招標(biāo)有限公司 上海城建信息科技有限公司 甘肅鑫禾國(guó)際招標(biāo)有限公司 燒結(jié)金屬材料 齒輪計(jì)量泵 廣州采陽(yáng)招標(biāo)代理有限公司河源分公司 高鋁碳化硅磚 博洛尼智能科技（青島）有限公司 燒結(jié)剛玉磚 深圳市東海國(guó)際招標(biāo)有限公司 搭建香蕉育苗大棚 SF計(jì)量單位 福建省中億通招標(biāo)咨詢有限公司 泛海三江 威海鼠尾草 廣東國(guó)咨招標(biāo)有限公司 Excel 數(shù)據(jù)處理與分析應(yīng)用大全 甘肅中泰博瑞工程項(xiàng)目管理咨詢有限公司 山東創(chuàng)盈項(xiàng)目管理有限公司 當(dāng)代建筑大師 拆邊機(jī) 廣西北纜電纜有限公司 大山檳榔 上海地鐵維護(hù)保障有限公司通號(hào)分公司 甘肅中維國(guó)際招標(biāo)有限公司 舌花雛菊 華潤(rùn)燃?xì)猓ㄉ虾＃┯邢薰? 湖北鑫宇陽(yáng)光工程咨詢有限公司 GB8163標(biāo)準(zhǔn)無(wú)縫鋼管 中國(guó)石油煉化工程建設(shè)項(xiàng)目部 韶關(guān)市優(yōu)采招標(biāo)代理有限公司 莎草目 建設(shè)部關(guān)于開(kāi)展城市規(guī)劃動(dòng)態(tài)監(jiān)測(cè)工作的通知 電梯平層準(zhǔn)確度 廣州利好來(lái)電氣有限公司 蘇州弘創(chuàng)招投標(biāo)代理有限公司