A New Software Reliability Framework

来源 :高技术通讯：英文版 | 被引量 : 0次 | 上传用户：nextronnpf

【摘要】

：

［1］Dyer M, Mills H D. The Cleanroom Approach to Reliable Software Development. In: Proc. Validation Methods Research for Fault-Tolerant Avionics and Control Syste

【作者】

：

Yao Wenbin

【机构】

：

Dept.ofComputerScienceandEng.

【出处】

：

高技术通讯：英文版

【发表日期】

：

2001年2期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

［1］Dyer M, Mills H D. The Cleanroom Approach to Reliable Software Development. In: Proc. Validation Methods Research for Fault-Tolerant Avionics and Control System Sub-Working-Group Meeting: Production of Reliable Flight-Crucial Software. Research Triangl

其他文献

小学数学（试用修订本）第一册活动课教学浅析

九年义务教育六年制小学教科书(试用修订本)《数学》第一册，是在人民教育出版社原九年义务教育六年制小学教科书《数学》的基础上修改而成的。两种版本相比，修订版更注重了数学

期刊

六年制小学九年义务教育《数学》注重小学数学教科书活动课教学修订本人民教育出版社修订版

终端价格竞争激烈 IPTV机顶盒向数字家庭媒体中心演进

家庭内的组网会通过机顶盒来构建,通过DLNA家庭数据互联协议,实现机顶盒作为一个服务器端与其他终端的互联互通和信息共享。多元化竞争促产业发展《通信世界周刊》:广电厂商

期刊

艾斯卡试剂熔矿、动态树脂交换——等离子体质谱法测定土壤样品中的痕量碘

研究了电感耦合等离子体质谱法（ICP—MS）测定土壤样品中微量碘的可行性，对测定碘的条件作了部分改进及进一步优化。样品经艾斯卡试剂分解，热水提取，阳离子交换树脂动态分离溶液中

期刊

艾斯卡试剂动态树脂交换等离子体质谱法痕量碘Eschka reagent ductive coupling dynamic adsorption sepa

地物化综合手段在西昆仑地区矿产资源评价中的应用效果

在西昆仑叶尔羌河上游地区开展1∶50万区域地球化学调查,圈定出6个成矿带、19个具有良好找矿潜力的成矿远景区.根据已圈定的成矿远景区,择优开展1∶10万、1∶5万地球化学普查

期刊

地物化矿产评价应用效果西昆仑geophysics and geochemistry assessment of mineral resources

基于GIS证据权重法的陕西旬阳地区铅锌成矿远景区定量预测

针对工作区铅锌矿成因类型利用GIS空间信息系统对地质、物探、化探、遥感等各类异常综合分析与成矿要素的信息提取,并在矿产资源评价分析系统(MORPAS3.0)下建立了陕西旬阳地区铅锌矿证据权重法模型证据图层:赋矿地层、控矿构造、化探异常等18个,通过条件独立性检验确定证据权因子层15个,绘制了陕西旬阳地区铅锌矿资源远景预测区后验概率图,给出了陕西旬阳地区铅锌矿产远景定量预测区评价结论,取得了良好的预

期刊

铅锌矿证据权重成矿远景定量预测陕西旬阳the lead-zinc mine weights-of-evidence method minerali

Neural—networks—based Modelling and a Fuzzy Neural Networks Controller of MCFC

Molten Carbonate Fuel Cells (MCFC) are produced with a highly efficient and clean power generation technology which will soon be widely utilized. The temperatur

期刊

熔化碳化燃料电池模糊神经网控制器神经网络Molten Carbonate Fuel Cells (MCFC)Radial Basis Function

数学课堂教学中的“主动、合作学习”模式

期刊

中学数学教学素质教育课堂教学教学模式

陕西宁陕—户县地区商丹构造带北侧TTG岩系元素地球化学及其构造意义

陕西宁陕-户县地区商丹构造带北侧发现的花岗质片麻岩为古老侵入体,主要由黑云斜长片麻岩、黑云角闪斜长片麻岩、角闪斜长片麻岩等类型岩石组成,具有TTG岩系的组成特征,元素

期刊

花岗质片麻岩地球化学构造环境灰色片麻岩稀土元素Granitegneiss geochemistry structural environment

Research of Agile Supply Chain Management Decision Support System

期刊

SupplyCHAINMANAGEMENTAGILEMANUFACTURINGDECISIONSUPPORTsystemSupply chain

努力培养学生的健全人格

期刊

思想教育学生健全人格人格培养

A New Software Reliability Framework

与本文相关的学术论文